Detail publikace

A Formalization of Sequential, Parallel, and Continuous Rewriting

MEDUNA Alexander. A Formalization of Sequential, Parallel, and Continuous Rewriting. International Journal of Computer Mathematics, roč. 1993, č. 47, s. 153-161. ISSN 0020-7160.
Název česky
Formalizace sekvenčního, paralelního a průběžného přepisování
Typ
článek v časopise
Jazyk
angličtina
Autoři
Meduna Alexander, Doc. RNDr., CSc. (UIVT FEI VUT)
Abstrakt

V článku je předvedena formalizace sekvenčního, paralelního a průběžného přepisování  založená na jednotném konceptu výběrových substitučních gramatik.

Anotace

V článku je předvedena formalizace sekvenčního, paralelního a průběžného přepisování  založená na jednotném konceptu výběrových substitučních gramatik. Tyto gramatiky, pokud obsahují epsilon pravidla, generují třídu rekurzivně spočetných jazyků.

Rok
1993
Strany
153-161
Časopis
International Journal of Computer Mathematics, roč. 1993, č. 47, ISSN 0020-7160
Kniha
International Journal of Computer Mathematics
Vydavatel
neznámá
Místo
New York, US
BibTeX 
@ARTICLE{FITPUB6161,
   author = "Alexander Meduna",
   title = "A Formalization of Sequential, Parallel, and Continuous Rewriting",
   pages = "153--161",
   booktitle = "International Journal of Computer Mathematics",
   journal = "International Journal of Computer Mathematics",
   volume = 1993,
   number = 47,
   year = 1993,
   location = "New York, US",
   ISSN = "0020-7160",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6161"
}
Nahoru