Attributes | Values |
---|
rdf:type
| |
Description
| - This project introduces a new type of grammars, called dual grammars. It investigates the properties of these grammars, concentrating on their generative power. This project shows some non context-free languages, which can be generated by dual grammars. This work proves that the dual grammars characterize the family of recursively enumerable languages. In addition, at the end of this paper, it shows some examples, which demonstrates how to use dual grammars.
- This project introduces a new type of grammars, called dual grammars. It investigates the properties of these grammars, concentrating on their generative power. This project shows some non context-free languages, which can be generated by dual grammars. This work proves that the dual grammars characterize the family of recursively enumerable languages. In addition, at the end of this paper, it shows some examples, which demonstrates how to use dual grammars. (en)
|
Title
| - Dual grammars
- Dual grammars (en)
|
skos:prefLabel
| - Dual grammars
- Dual grammars (en)
|
skos:notation
| - RIV/00216305:26230/03:PU42545!RIV/2004/MSM/262304/N
|
http://linked.open.../vavai/riv/strany
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
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/03:PU42545
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Context-free grammar, context-free language, derivation, production, sentential form, nonterminal, terminal (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - Proceedings of 6th International Conference ISIM'03 Information Systems Implementation and Modeling
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...ocetUcastnikuAkce
| |
http://linked.open...nichUcastnikuAkce
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |