About: Ambiguity by restarting automata     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)

AttributesValues
rdf:type
Description
  • 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). (cs)
  • 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. (en)
Title
  • Ambiguity by restarting automata
  • Ambiguity by restarting automata (en)
  • Víceznačnost pomocí restartovacích automatů (cs)
skos:prefLabel
  • Ambiguity by restarting automata
  • Ambiguity by restarting automata (en)
  • Víceznačnost pomocí restartovacích automatů (cs)
skos:notation
  • RIV/00216208:11320/07:00004065!RIV08-AV0-11320___
http://linked.open.../vavai/riv/strany
  • 1343;1352
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(1ET100300517), Z(MSM0021620838)
http://linked.open...iv/cisloPeriodika
  • 6
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
  • 409209
http://linked.open...ai/riv/idVysledku
  • RIV/00216208:11320/07:00004065
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Ambiguity; restarting; automata (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...odStatuVydavatele
  • SG - Singapurská republika
http://linked.open...ontrolniKodProRIV
  • [37D6A4200D45]
http://linked.open...i/riv/nazevZdroje
  • International Journal of Foundations of Computer Science
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
  • Vol. 18
http://linked.open...iv/tvurceVysledku
  • Mráz, František
  • Plátek, Martin
http://linked.open...n/vavai/riv/zamer
issn
  • 0129-0541
number of pages
http://localhost/t...ganizacniJednotka
  • 11320
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software