Detail výsledku

Deterministic #-Rewriting Systems

KŘIVKA, Z. Deterministic #-Rewriting Systems. Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4. Brno: Faculty of Electrical Engineering and Communication BUT, 2007. p. 386-390. ISBN: 978-80214-3410-3.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Křivka Zbyněk, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Abstrakt

This paper discusses a deterministic version of #-rewriting systems with context-free rules. It demonstrates that classical form of determinism does not affect the generative power of #- rewriting systems. The result concerning deterministic #-rewriting systems of index k is given too. The conclusion discusses even the stronger type of determinism.

Klíčová slova

formal language theory, rewriting system, determinism, generative power, finite index

URL
Rok
2007
Strany
386–390
Sborník
Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4
Konference
Student EEICT 2007
ISBN
978-80214-3410-3
Vydavatel
Faculty of Electrical Engineering and Communication BUT
Místo
Brno
BibTeX 
@inproceedings{BUT91186,
  author="Zbyněk {Křivka}",
  title="Deterministic #-Rewriting Systems",
  booktitle="Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4",
  year="2007",
  pages="386--390",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  address="Brno",
  isbn="978-80214-3410-3",
  url="https://www.fit.vut.cz/research/publication/8318/"
}
Soubory
Výzkumné skupiny
Výzkumná skupina formálních modelů (VZ FM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru