Detail publikace

A Formalization of Sequential, Parallel, and Continuous Rewriting

MEDUNA, A. A Formalization of Sequential, Parallel, and Continuous Rewriting. International Journal of Computer Mathematics, 1993, vol. 1993, no. 47, p. 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
anglicky
Autoři
Meduna Alexandr, prof. RNDr., CSc. (UIFS)
Klíčová slova

sequential rewriting, parallel rewriting, continuous rewriting, selective substitution grammars, context sensitive languages, recursively enumerable languages

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
unknown
Místo
New York
BibTeX 
@article{BUT191812,
  author="Alexandr {Meduna}",
  title="A Formalization of Sequential, Parallel, and Continuous Rewriting",
  journal="International Journal of Computer Mathematics",
  year="1993",
  volume="1993",
  number="47",
  pages="153--161",
  issn="0020-7160"
}
Nahoru