Result Details

Computational Simulation Formalized by String-Relation Systems

ŠVEC, M. Computational Simulation Formalized by String-Relation Systems. Proceedings of the International Conference and Competition of Student's Scientific Works STUDENT EEICT 2004. STU. Bratislava: Slovak University of Technology in Bratislava, 2004. p. 544-547. ISBN: 80-227-2057-7.
Type
conference paper
Language
English
Authors
Švec Martin, Ing., Ph.D., FIT (FIT), DIFS (FIT)
Abstract

The paper formalizes and studies the similarity of rewriting processes in formal language models

Keywords

formal models, equivalence, simulation

Published
2004
Pages
544–547
Proceedings
Proceedings of the International Conference and Competition of Student's Scientific Works STUDENT EEICT 2004
Series
STU
Conference
Student EEICT 2004
ISBN
80-227-2057-7
Publisher
Slovak University of Technology in Bratislava
Place
Bratislava
BibTeX 
@inproceedings{BUT17145,
  author="Martin {Švec}",
  title="Computational Simulation Formalized by String-Relation Systems",
  booktitle="Proceedings of the International Conference and Competition of Student's Scientific Works STUDENT EEICT 2004",
  year="2004",
  series="STU",
  pages="544--547",
  publisher="Slovak University of Technology in Bratislava",
  address="Bratislava",
  isbn="80-227-2057-7"
}
Projects
Optimally Integrated Models of Modern Information Technologies, GACR, Standardní projekty, GA201/04/0441, start: 2004-01-01, end: 2006-12-31, completed
Departments
Department of Information Systems (DIFS)
Back to top