About: On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops

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

About: On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops 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	This paper introduces and discusses pure multi-pushdown automata that remove symbols from their pushdowns only by performing complete-pushdown pops. During this operation, the entire pushdown is compared with a prefix of the input, and if they match, the pushdown is completely emptied and the input is advanced by the prefix. The paper proves that these automata define an infinite hierarchy of language families identical with the infinite hierarchy of language families resulting from right linear simple matrix grammars. If these automata are allowed to join their pushdowns and create new pushdowns, then they define another infinite hierarchy of language families according to the number of pushdowns. This paper introduces and discusses pure multi-pushdown automata that remove symbols from their pushdowns only by performing complete-pushdown pops. During this operation, the entire pushdown is compared with a prefix of the input, and if they match, the pushdown is completely emptied and the input is advanced by the prefix. The paper proves that these automata define an infinite hierarchy of language families identical with the infinite hierarchy of language families resulting from right linear simple matrix grammars. If these automata are allowed to join their pushdowns and create new pushdowns, then they define another infinite hierarchy of language families according to the number of pushdowns. (en)
Title	On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops (en)
skos:prefLabel	On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops (en)
skos:notation	RIV/00216305:26230/08:PU76706!RIV10-MSM-26230___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA201/07/0005), Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Meduna, Alexandr Masopust, Tomáš
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	384655
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/08:PU76706
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	pure multi-pushdown automaton, complete-pushdown pop, infinite hierarchy (en)
http://linked.open.../riv/klicoveSlovo	complete-pushdown pop infinite hierarchy pure multi-pushdown automaton
http://linked.open...ontrolniKodProRIV	[D20CD667CB2F]
http://linked.open...v/mistoKonaniAkce	Balatonfured
http://linked.open...i/riv/mistoVydani	Balatonfured
http://linked.open...i/riv/nazevZdroje	Automata and Formal Languages. The 12th International Conference, AFL 2008, Balatonfured, Hungary, May 27-30, 2008, Proceedings
http://linked.open...in/vavai/riv/obor	BD
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Multi-information technologies: Theory, models, and methods
http://linked.open...UplatneniVysledku	2008
http://linked.open...iv/tvurceVysledku	Masopust, Tomáš Meduna, Alexandr
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2008-05-27 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
number of pages	12 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Computer and Automation Research Institute, Hungarian Academy of Sciences
https://schema.org/isbn	978-963-311-367-7
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops

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, 85 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software