Publication detail

Computational Simulation Formalized by String-Relation Systems

ŠVEC, M.

Original Title

Computational Simulation Formalized by String-Relation Systems

Type

conference paper

Language

English

Original Abstract

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

Keywords

formal models, equivalence, simulation

Authors

ŠVEC, M.

Released

18. 6. 2004

Publisher

Slovak University of Technology in Bratislava

Location

Bratislava

ISBN

80-227-2057-7

Book

Proceedings of the International Conference and Competition of Student's Scientific Works STUDENT EEICT 2004

Edition

STU

Pages from

544

Pages to

547

Pages count

4

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"
}