About: Pushdown automaton

Property	Value
dbo:description	automate abstrait disposant d'une mémoire infinie organisée en pile (fr) abstraktni avtomat z neskončnim pomnilnikom, organiziranim v skladu (sl) endlicher Automat mit Kellerspeicher (de) tipo di macchina astratta (it) type of automaton (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Pushdown-overview.svg?width=300
dbo:wikiPageExternalLink	http://www-igm.univ-mlv.fr/~berstel/Articles/1997CFLPDA.pdf https://archive.org/details/introductiontoth00sips https://www.elstel.org/coan https://www.jflap.org
dbo:wikiPageWikiLink	dbr:File:Pda-example.svg dbr:File:Pda-steps.svg dbr:File:Pushdown-step.svg dbr:Automata_theory dbc:Models_of_computation dbr:Context-free_language dbr:Palindrome dbr:Deterministic_pushdown_automaton dbc:Automata_(computation) dbr:Deterministic_context-free_language dbr:EXPTIME dbr:Dexter_Kozen dbr:DSPACE dbr:Linear_bounded_automaton dbr:Parser dbr:Greibach_normal_form dbr:Transitive_closure dbr:NSPACE dbr:Empty_string dbr:Finite-state_machine dbr:Stack_(abstract_data_type) dbr:Theoretical_computer_science dbr:Context-free_grammar dbr:Regular_language dbr:Theory_of_computation dbr:Reflexive_closure dbr:General_recursive_function dbr:String_(computer_science) dbr:Stack_machine dbr:Stack_(data_structure) dbr:Turing_machine dbr:Recursively_enumerable dbr:Conjunctive_grammar dbr:Larry_Stockmeyer dbr:Ashok_K._Chandra dbr:Queue_automaton dbr:Richard_J._Lipton dbr:Counter_automaton dbr:Richard_E._Ladner dbr:Nested_stack_automaton dbr:Finite_automaton dbr:Context-sensitive_languages dbr:File:Pushdown-overview.svg dbr:Deterministic_pushdown_automata dbr:If,_and_only_if
dbp:authorLink	no (en)
dbp:chapter	2.200000 (xsd:double)
dbp:pages	101 (xsd:integer)
dbp:titleLink	no (en)
dbp:wikiPageUsesTemplate	dbt:Formal_languages_and_grammars dbt:Sfn_whitelist dbt:Clarify_span dbt:Reflist dbt:Notelist dbt:Anchor dbt:Sfn dbt:More_citations_needed dbt:Val dbt:Hopcroft,_Motwani,_and_Ullman_2006 dbt:Hopcroft_and_Ullman_1979 dbt:Sipser_1997 dbt:Citation_needed dbt:Automata_theory dbt:Mvar dbt:Efn dbt:Tmath dbt:Ordered_list dbt:Short_description
dct:subject	dbc:Models_of_computation dbc:Automata_(computation)
gold:hypernym	dbr:Automaton
rdfs:label	Pushdown automaton (en) أوتومات الدفع السفلي (ar) Zásobníkový automat (cs) Autòmat amb pila (ca) Kellerautomat (de) Autómata con pila (es) Automate à pile (fr) Automa a pila (it) プッシュダウン・オートマトン (ja) 푸시다운 자동 기계 (ko) Stapelautomaat (nl) Automat ze stosem (pl) Автомат с магазинной памятью (ru) Autômato com pilha (pt) Автомат з магазинною пам'яттю (uk) 下推自动机 (zh)
owl:sameAs	freebase:Pushdown automaton yago-res:Pushdown automaton wikidata:Pushdown automaton dbpedia-it:Pushdown automaton dbpedia-nl:Pushdown automaton dbpedia-de:Pushdown automaton dbpedia-fr:Pushdown automaton dbpedia-zh:Pushdown automaton dbpedia-ja:Pushdown automaton dbpedia-pt:Pushdown automaton dbpedia-he:Pushdown automaton dbpedia-es:Pushdown automaton dbpedia-fa:Pushdown automaton dbpedia-ru:Pushdown automaton dbpedia-pl:Pushdown automaton dbpedia-ko:Pushdown automaton dbpedia-ca:Pushdown automaton dbpedia-ar:Pushdown automaton dbpedia-bs:Pushdown automaton dbpedia-cs:Pushdown automaton dbpedia-fi:Pushdown automaton dbpedia-hr:Pushdown automaton dbpedia-ka:Pushdown automaton dbpedia-mk:Pushdown automaton dbpedia-nn:Pushdown automaton dbpedia-no:Pushdown automaton dbpedia-sh:Pushdown automaton dbpedia-sk:Pushdown automaton dbpedia-sr:Pushdown automaton dbpedia-uk:Pushdown automaton dbpedia-global:Pushdown automaton dbr:Pushdown automaton
prov:wasDerivedFrom	wikipedia-en:Pushdown_automaton?oldid=1292160935&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Pda-example.svg wiki-commons:Special:FilePath/Pda-steps.svg wiki-commons:Special:FilePath/Pushdown-overview.svg wiki-commons:Special:FilePath/Pushdown-step.svg
foaf:isPrimaryTopicOf	wikipedia-en:Pushdown_automaton
is dbo:wikiPageRedirects of	dbr:Nondeterministic_pushdown_automaton dbr:Push-Down_Automaton dbr:Push-down_automata dbr:Push-down_automaton dbr:Push_Down_Automaton dbr:Push_down_automaton dbr:Pushdown_Transducer dbr:Pushdown_automata dbr:Pushdown_autonoma dbr:Pushdown_stack dbr:Pushdown_transducer dbr:Stack_automaton dbr:Two-Stack_Push_Down_Automaton
is dbo:wikiPageWikiLink of	dbr:Index_of_computing_articles dbr:Abstract_machine dbr:List_of_computability_and_complexity_topics dbr:List_of_undecidable_problems dbr:Automata_theory dbr:Probabilistic_context-free_grammar dbr:Two-way_finite_automaton dbr:History_of_computing_hardware dbr:Context-free_language dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:Sheila_Greibach dbr:Deterministic_pushdown_automaton dbr:Turing_completeness dbr:Greibach_normal_form dbr:JFLAP dbr:Computation dbr:Nondeterministic_finite_automaton dbr:Computability dbr:Greek_letters_used_in_mathematics,_science,_and_engineering dbr:Finite-state_machine dbr:PDA dbr:Chomsky_hierarchy dbr:Context-free_grammar dbr:Theory_of_computation dbr:Nested_word dbr:Shift-reduce_parser dbr:Turing_machine dbr:Graph-structured_stack dbr:National_Parliamentary_Debate_Association dbr:Conjunctive_grammar dbr:Embedded_pushdown_automaton dbr:Queue_automaton dbr:Counter_automaton dbr:Equivalence_problem dbr:Channel_system_(computer_science) dbr:Tree_stack_automaton dbr:Nondeterministic_pushdown_automaton dbr:Push-Down_Automaton dbr:Push-down_automata dbr:Push-down_automaton dbr:Push_Down_Automaton dbr:Push_down_automaton dbr:Pushdown_Transducer dbr:Pushdown_automata dbr:Pushdown_autonoma dbr:Pushdown_stack dbr:Pushdown_transducer dbr:Stack_automaton dbr:Two-Stack_Push_Down_Automaton
is foaf:primaryTopic of	wikipedia-en:Pushdown_automaton