About: dbpedia-fr:Automate_à_pile

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

About: dbpedia-fr:Automate_à_pile_visible Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Automate à pile visible (fr) Palavra aninhada (pt)
rdfs:comment	En informatique théorique, et notamment en théorie des automates et des langages formels, un automate à pile visible (en anglais « visibly pushdown automaton ») est un automate à pile reconnaissant des mots sur un alphabet partitionné. Ils reconnaissent les langages à pile visible (en anglais « visibly pushdown languages »). Cette famille de langages est intermédiaire entre les langages rationnels et les langages algébriques déterministes. (fr)
sameAs	dbr:Nested_word wikidata:Q6997829 dbpedia-fa:حروف_معین dbpedia-pt:Palavra_aninhada http://g.co/kg/m/07sb391 http://ma-graph.org/entity/92117001
Wikipage page ID	10672029 (xsd:integer)
Wikipage revision ID	179018544 (xsd:integer)
dbo:wikiPageWikiLink	Streaming algorithm Depth-first search Boolean algebra (structure) Alphabet dbpedia-fr:Analyse_de_données_textuelles Tree (data structure) dbpedia-fr:Automate dbpedia-fr:Automate_fini_déterministe dbpedia-fr:Automate_fini_inambigu dbpedia-fr:Automate_fini_non_déterministe dbpedia-fr:Automate_à_pile category-fr:Langage_formel category-fr:Théorie_des_automates String (computer science) Boolean circuit dbpedia-fr:Concaténation EXPTIME XML dbpedia-fr:Famille_abstraite_de_langages Operator-precedence grammar Context-free grammar Chomsky hierarchy dbpedia-fr:Hypertext_Markup_Language Information Processing Letters Theoretical computer science Journal of Computer and System Sciences dbpedia-fr:Kurt_Mehlhorn dbpedia-fr:Langage_algébrique dbpedia-fr:Langage_algébrique_déterministe dbpedia-fr:Langage_de_balisage dbpedia-fr:Langage_formel dbpedia-fr:Langage_rationnel dbpedia-fr:Linguistique_informatique dbpedia-fr:Logique_monadique_du_second_ordre dbpedia-fr:Mot_(mathématiques) dbpedia-fr:N-uplet dbpedia-fr:NC_(complexité) Total order dbpedia-fr:Parcours_d'arbre dbpedia-fr:Programmation_par_contrat dbpedia-fr:Programmation_structurée Rajeev Alur dbpedia-fr:Routine_(informatique) Scott Aaronson Theoretical Computer Science (journal) dbpedia-fr:Théorie_des_automates dbpedia-fr:Vérification_de_modèles Kleene star
Link from a Wikipage to an external page	http://home.deib.polimi.it/crespi/OperPrecAndVPpropWithApp.pdf http://qwiki.stanford.edu/index.php/Complexity_Zoo:V%23vpl http://www.cis.upenn.edu/~alur/Jacm09.pdf http://www.cis.upenn.edu/~alur/Stoc04.pdf http://www.cis.upenn.edu/~alur/nw.html https://swt.informatik.uni-freiburg.de/ https://swt.informatik.uni-freiburg.de/teaching/SS2012/AutomataTheory/Resources/Slides/nestedwordautomata-seminarslides-christianschilling.pdf
page length (characters) of wiki page	39391 (xsd:nonNegativeInteger)
dct:subject	category-fr:Langage_formel category-fr:Théorie_des_automates
foaf:homepage	https://swt.informatik.uni-freiburg.de/
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:' dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Chapitre dbpedia-fr:Modèle:Citation dbpedia-fr:Modèle:Citation_étrangère dbpedia-fr:Modèle:Lien_web dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Palette dbpedia-fr:Modèle:Portail
prov:wasDerivedFrom	wikipedia-fr:Automate_à_pile_visible?oldid=179018544&ns=0
prop-fr:année	1967 (xsd:integer) 1979 (xsd:integer) 1980 (xsd:integer) 1985 (xsd:integer) 1988 (xsd:integer) 2004 (xsd:integer) 2008 (xsd:integer) 2009 (xsd:integer) 2012 (xsd:integer) 2015 (xsd:integer) 2017 (xsd:integer) 2018 (xsd:integer) 2019 (xsd:integer) 2020 (xsd:integer)
prop-fr:arxiv	811 (xsd:double)
prop-fr:auteur	Christian Schilling (fr) Jean-Marc Talbot (fr) Mathieu Caralp (fr) Pierre-Alain Reynier (fr) Rajeev Alur (fr)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 11 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software