Attributes | Values |
---|
rdf:type
| |
Description
| - This theoretically oriented dissertation discusses rewriting systems, including various automata and grammars. It concentrates its attention upon their combination. More specifically, the central role of the present dissertation plays the general notion of a configuration as an instantaneous description of a rewriting system. Based upon various restrictions placed upon configurations and rewriting modes, the systems are classified and studied. Apart from this major topic, the dissertation also discusses dynamic complexity, which is based upon metrics placed upon the process of yielding strings.<br><br> As its fundamental topic, the dissertation discusses #-rewriting system, reducing deep pushdown automaton, and pushdown automata with restricted pushdowns. In addition, it studies some variants of #-rewriting systems, including <i>n</i>-right linear and generalized #-rewriting system. In general, the dissertation demonstrates how the generative power of th
- This theoretically oriented dissertation discusses rewriting systems, including various automata and grammars. It concentrates its attention upon their combination. More specifically, the central role of the present dissertation plays the general notion of a configuration as an instantaneous description of a rewriting system. Based upon various restrictions placed upon configurations and rewriting modes, the systems are classified and studied. Apart from this major topic, the dissertation also discusses dynamic complexity, which is based upon metrics placed upon the process of yielding strings.<br><br> As its fundamental topic, the dissertation discusses #-rewriting system, reducing deep pushdown automaton, and pushdown automata with restricted pushdowns. In addition, it studies some variants of #-rewriting systems, including <i>n</i>-right linear and generalized #-rewriting system. In general, the dissertation demonstrates how the generative power of th (en)
|
Title
| - Rewriting Systems with Restricted Configurations
- Rewriting Systems with Restricted Configurations (en)
|
skos:prefLabel
| - Rewriting Systems with Restricted Configurations
- Rewriting Systems with Restricted Configurations (en)
|
skos:notation
| - RIV/00216305:26230/08:PU76806!RIV10-MSM-26230___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(2C06008), Z(MSM0021630528)
|
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/08:PU76806
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - #-rewriting system, configuration, descriptional complexity, determinism, dynamic complexity, finite index, formal model, generative power, language, language family, <i>n</i>-limitation, <i>m</i>-parallel <i>n</i>-right-linear simple matrix grammar, pro (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...vEdiceCisloSvazku
| |
http://linked.open...i/riv/nazevZdroje
| - Rewriting Systems with Restricted Configurations
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...v/pocetStranKnihy
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| - Vysoké učení technické v Brně. Fakulta informačních technologií
|
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |