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