This HTML5 document contains 45 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F07%3A00004065%21RIV08-AV0-11320___/
n3http://localhost/temp/predkladatel/
n17http://linked.opendata.cz/resource/domain/vavai/projekt/
n15http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n14http://linked.opendata.cz/ontology/domain/vavai/
n13http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F07%3A00004065%21RIV08-AV0-11320___
rdf:type
skos:Concept n14:Vysledek
dcterms:description
Restarting automata can be considered as a machine model as well as regulated rewriting systems. We introduce a measure of ambiguity for restarting automata which recognizes a language as a projection of its characteristic language (containing also auxiliarynon-inputsymbols) into its input alphabet. Based on this measure we define an ambiguity measure of languages. This measure can be considered as a measure of non-determinism of languages. We show that there is an infinite hierarchy with respect to the degree of ambiguity even inside linear languages and that there are linear languages with a linear ambiguity. Restarting automata can be considered as a machine model as well as regulated rewriting systems. We introduce a measure of ambiguity for restarting automata which recognizes a language as a projection of its characteristic language (containing also auxiliarynon-inputsymbols) into its input alphabet. Based on this measure we define an ambiguity measure of languages. This measure can be considered as a measure of non-determinism of languages. We show that there is an infinite hierarchy with respect to the degree of ambiguity even inside linear languages and that there are linear languages with a linear ambiguity. Restartovací automaty lze studovat jako automaty i jako regulované přepisovací systémy. V práci se zavádí míra víceznačnosti pro restartovací automaty, které rozpoznávají jazyky pomocí projekce z jejich charakteristických jazyků (obsahujících též pomocné symboly) na jazyky složené pouze ze vstupních symbolů. Na této míře je založena míra víceznačnosti jazyků. Je ukázáno, že tuto míru lze považovat za míru nedeterminismu jazyků. Hlavním výsledkem je důkaz existence nekonečné škály tříd jazyků podle stupně jejich víceznačnosti a existence jazyků s lineární vzrůstem víceznačnosti s ohledem na růst délky jejich vět (slov).
dcterms:title
Víceznačnost pomocí restartovacích automatů Ambiguity by restarting automata Ambiguity by restarting automata
skos:prefLabel
Ambiguity by restarting automata Ambiguity by restarting automata Víceznačnost pomocí restartovacích automatů
skos:notation
RIV/00216208:11320/07:00004065!RIV08-AV0-11320___
n4:strany
1343;1352
n4:aktivita
n12:P n12:Z
n4:aktivity
P(1ET100300517), Z(MSM0021620838)
n4:cisloPeriodika
6
n4:dodaniDat
n5:2008
n4:domaciTvurceVysledku
n15:5680050 n15:2985640
n4:druhVysledku
n8:J
n4:duvernostUdaju
n6:S
n4:entitaPredkladatele
n18:predkladatel
n4:idSjednocenehoVysledku
409209
n4:idVysledku
RIV/00216208:11320/07:00004065
n4:jazykVysledku
n16:eng
n4:klicovaSlova
Ambiguity; restarting; automata
n4:klicoveSlovo
n7:Ambiguity n7:automata n7:restarting
n4:kodStatuVydavatele
SG - Singapurská republika
n4:kontrolniKodProRIV
[37D6A4200D45]
n4:nazevZdroje
International Journal of Foundations of Computer Science
n4:obor
n19:BA
n4:pocetDomacichTvurcuVysledku
2
n4:pocetTvurcuVysledku
3
n4:projekt
n17:1ET100300517
n4:rokUplatneniVysledku
n5:2007
n4:svazekPeriodika
Vol. 18
n4:tvurceVysledku
Mráz, František Plátek, Martin
n4:zamer
n13:MSM0021620838
s:issn
0129-0541
s:numberOfPages
10
n3:organizacniJednotka
11320