Attributes | Values |
---|
rdf:type
| |
Description
| - Tento článek se zabývá některými podmínkovými verzemi maticových gramatik. Zavádí několik nových popisů rodiny rekurzivně vyčíslitelných jazyků založených na těchto formách. ve skutečnosti se ukazuje, že použití Geffertových normálních forem při použitímaticových gramatik s podmínkami omezené délky, omezeným počtem neterminálů a matic, vede také k takovému popisu.<br> (cs)
- This paper discusses some conditional versions of matrix grammars. It establishes several characterizations of the family of the recursively enumerable languages based on these grammars. In fact, making use of the Geffert Normal forms, the present paperdemonstrates these characterizations based on matrix grammars with conditions of a limited length, a reduced number of nonterminals, and a reduced number and size of matrices.<br>
- This paper discusses some conditional versions of matrix grammars. It establishes several characterizations of the family of the recursively enumerable languages based on these grammars. In fact, making use of the Geffert Normal forms, the present paperdemonstrates these characterizations based on matrix grammars with conditions of a limited length, a reduced number of nonterminals, and a reduced number and size of matrices.<br> (en)
|
Title
| - Simple-Semi-Conditional Versions of Matrix Grammars with a Reduced Regulating Mechanism
- Simple-Semi-Conditional Versions of Matrix Grammars with a Reduced Regulating Mechanism (en)
- Jednoduché polopodmínkové verze maticových gramatik s omezeným regulačním mechanizmem (cs)
|
skos:prefLabel
| - Simple-Semi-Conditional Versions of Matrix Grammars with a Reduced Regulating Mechanism
- Simple-Semi-Conditional Versions of Matrix Grammars with a Reduced Regulating Mechanism (en)
- Jednoduché polopodmínkové verze maticových gramatik s omezeným regulačním mechanizmem (cs)
|
skos:notation
| - RIV/00216305:26230/04:PU49348!RIV/2005/GA0/262305/N
|
http://linked.open.../vavai/riv/strany
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...iv/cisloPeriodika
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216305:26230/04:PU49348
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - descriptional complexity, matrix grammars, simple-semi-conditional grammars<br> (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...odStatuVydavatele
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/nazevZdroje
| - Computing and Informatics
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...v/svazekPeriodika
| |
http://linked.open...iv/tvurceVysledku
| - Meduna, Alexandr
- Kopeček, Tomáš
|
issn
| |
number of pages
| |
http://localhost/t...ganizacniJednotka
| |