About: n-Right-Linear #-Rewriting Systems

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: n-Right-Linear #-Rewriting Systems Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	Tento příspěvek diskutuje #-přepisovací systémy, které reprezentují jednoduché jazyk-definující zařízení, které kombinuje automaty a gramatiky. Stejně jako automaty používá konečně mnoho stavů bez neterminálů; na druhou stranu stejně jako gramatiky generuje jazyk. Příspěvek zavádí <i>n</i>-pravě-lineární #-přepisovací systémy charakterizující nekonečnou hierarchii tříd jazyků definovaných <i>m</i>-paralelnímu <i>n</i>-pravě-lineárními jednoduchými maticovými gramatikami.  Dále zavádí jisté přímočaré omezení přepisovaní těchto systémů a demonstruje, že pod tímto omezením generují pouze třídu pravě-lineárních jazyků. V závěru navrhuje několik variant #-přepisovacích systémů k budoucímu studiu. (cs) The present paper  discusses #-rewriting systems, which represent simple language-defining devices that combine both automata and grammars.  Indeed, like automata, they use finitely many states without any nonterminals; on the other hand, like grammars, they generate languages.  The paper introduces <i>n</i>-right-linear #-rewriting systems and characterize the infinite hierarchy of language families defined by <i>m</i>-parallel <i>n</i>-right-linear simple matrix grammars.  However, it also places some trivial restrictions on rewriting in these systems and demonstrates that under these restrictions, they generate only the family of right-linear languages. In its conclusion, this paper suggests some variants of #-rewriting systems.<br> The present paper  discusses #-rewriting systems, which represent simple language-defining devices that combine both automata and grammars.  Indeed, like automata, they use finitely many states without any nonterminals; on the other hand, like grammars, they generate languages.  The paper introduces <i>n</i>-right-linear #-rewriting systems and characterize the infinite hierarchy of language families defined by <i>m</i>-parallel <i>n</i>-right-linear simple matrix grammars.  However, it also places some trivial restrictions on rewriting in these systems and demonstrates that under these restrictions, they generate only the family of right-linear languages. In its conclusion, this paper suggests some variants of #-rewriting systems.<br> (en)
Title	n-Right-Linear #-Rewriting Systems n-Right-Linear #-Rewriting Systems (en) n-pravě-lineární #-přepisovací systémy (cs)
skos:prefLabel	n-Right-Linear #-Rewriting Systems n-Right-Linear #-Rewriting Systems (en) n-pravě-lineární #-přepisovací systémy (cs)
skos:notation	RIV/00216305:26230/07:PU70906!RIV08-MSM-26230___
http://linked.open.../vavai/riv/strany	105-112
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(2C06008), Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat	2008
http://linked.open...aciTvurceVysledku	Meduna, Alexandr Křivka, Zbyněk Smrček, Jaromír
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	438032
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/07:PU70906
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	#-rewriting systems of finite index, right-linear #-rewriting systems, <i>m</i>-parallel <i>n</i>-right-linear simple matrix languages, infinite hierarchies of language families (en)
http://linked.open.../riv/klicoveSlovo	#-rewriting systems of finite index <i>m</i>-parallel <i>n</i>-right-linear simple matrix languages infinite hierarchies of language families right-linear #-rewriting systems
http://linked.open...ontrolniKodProRIV	[FC706CDB74D5]
http://linked.open...v/mistoKonaniAkce	Znojmo
http://linked.open...i/riv/mistoVydani	Znojmo
http://linked.open...i/riv/nazevZdroje	Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Virtual Laboratory of Microprocessor Technology Application
http://linked.open...UplatneniVysledku	2007
http://linked.open...iv/tvurceVysledku	Křivka, Zbyněk Meduna, Alexandr Smrček, Jaromír
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2007-10-26 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
number of pages	8 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Ing. Zdeněk Novotný CSc.
https://schema.org/isbn	978-80-7355-077-6
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	n-Right-Linear #-Rewriting Systems n-Right-Linear #-Rewriting Systems n-Right-Linear #-Rewriting Systems

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software