Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Formal_language> }
- Conference_on_Implementation_and_Application_of_Automata academicDiscipline Formal_language.
- Descriptional_Complexity_of_Formal_Systems academicDiscipline Formal_language.
- International_Conference_on_Developments_in_Language_Theory academicDiscipline Formal_language.
- Sheila_Greibach field Formal_language.
- Jeffrey_Ullman knownFor Formal_language.
- Michael_A._Harrison knownFor Formal_language.
- Oscar_H._Ibarra knownFor Formal_language.
- Ronald_V._Book knownFor Formal_language.
- Seymour_Ginsburg knownFor Formal_language.
- Formal wikiPageDisambiguates Formal_language.
- Language_(disambiguation) wikiPageDisambiguates Formal_language.
- Empty_language wikiPageRedirects Formal_language.
- Formal_expression wikiPageRedirects Formal_language.
- Formal_language_theory wikiPageRedirects Formal_language.
- Formal_languages wikiPageRedirects Formal_language.
- Formal_linguistic_analysis wikiPageRedirects Formal_language.
- Formal_model wikiPageRedirects Formal_language.
- Language_(computability) wikiPageRedirects Formal_language.
- Language_(computer_science) wikiPageRedirects Formal_language.
- Language_(logic) wikiPageRedirects Formal_language.
- Language_(mathematics) wikiPageRedirects Formal_language.
- 2_Days_&_1_Night wikiPageWikiLink Formal_language.
- AC_(complexity) wikiPageWikiLink Formal_language.
- Abstract_family_of_languages wikiPageWikiLink Formal_language.
- Abstract_semantic_graph wikiPageWikiLink Formal_language.
- Abstract_structure wikiPageWikiLink Formal_language.
- Action_algebra wikiPageWikiLink Formal_language.
- Action_language wikiPageWikiLink Formal_language.
- Adaptive_grammar wikiPageWikiLink Formal_language.
- Algorithm_characterizations wikiPageWikiLink Formal_language.
- Alphabet_(formal_languages) wikiPageWikiLink Formal_language.
- Alternating_Turing_machine wikiPageWikiLink Formal_language.
- Alternation_(formal_language_theory) wikiPageWikiLink Formal_language.
- Ambiguity wikiPageWikiLink Formal_language.
- Anil_Nerode wikiPageWikiLink Formal_language.
- Antimatroid wikiPageWikiLink Formal_language.
- Arborescent wikiPageWikiLink Formal_language.
- Ardens_Rule wikiPageWikiLink Formal_language.
- Argument wikiPageWikiLink Formal_language.
- Aristid_Lindenmayer wikiPageWikiLink Formal_language.
- Arithmetical_set wikiPageWikiLink Formal_language.
- Armin_B._Cremers wikiPageWikiLink Formal_language.
- Artificial_language wikiPageWikiLink Formal_language.
- Arto_Salomaa wikiPageWikiLink Formal_language.
- Attempto_Controlled_English wikiPageWikiLink Formal_language.
- Augmented_transition_network wikiPageWikiLink Formal_language.
- Automata_theory wikiPageWikiLink Formal_language.
- Automath wikiPageWikiLink Formal_language.
- Axiom wikiPageWikiLink Formal_language.
- Axiom_of_empty_set wikiPageWikiLink Formal_language.
- Axiom_of_extensionality wikiPageWikiLink Formal_language.
- Axiom_of_infinity wikiPageWikiLink Formal_language.
- Axiom_of_pairing wikiPageWikiLink Formal_language.
- Axiom_of_power_set wikiPageWikiLink Formal_language.
- Axiom_of_union wikiPageWikiLink Formal_language.
- Backus–Naur_Form wikiPageWikiLink Formal_language.
- Bash_(Unix_shell) wikiPageWikiLink Formal_language.
- Basis_(universal_algebra) wikiPageWikiLink Formal_language.
- Berman–Hartmanis_conjecture wikiPageWikiLink Formal_language.
- Berry_paradox wikiPageWikiLink Formal_language.
- Block_cipher wikiPageWikiLink Formal_language.
- Boolean-valued_function wikiPageWikiLink Formal_language.
- Boolean_circuit wikiPageWikiLink Formal_language.
- Boolean_grammar wikiPageWikiLink Formal_language.
- Branches_of_science wikiPageWikiLink Formal_language.
- British_Colloquium_for_Theoretical_Computer_Science wikiPageWikiLink Formal_language.
- Bruno_Courcelle wikiPageWikiLink Formal_language.
- Brzozowski_derivative wikiPageWikiLink Formal_language.
- CTL* wikiPageWikiLink Formal_language.
- Chomski wikiPageWikiLink Formal_language.
- Chomsky_hierarchy wikiPageWikiLink Formal_language.
- Chomsky_normal_form wikiPageWikiLink Formal_language.
- Chomsky–Schützenberger_enumeration_theorem wikiPageWikiLink Formal_language.
- Chomsky–Schützenberger_representation_theorem wikiPageWikiLink Formal_language.
- Chomsky–Schützenberger_theorem wikiPageWikiLink Formal_language.
- Circuit_complexity wikiPageWikiLink Formal_language.
- Circular_shift wikiPageWikiLink Formal_language.
- ClearTalk wikiPageWikiLink Formal_language.
- Closure_(mathematics) wikiPageWikiLink Formal_language.
- Code wikiPageWikiLink Formal_language.
- Code_generation_(compiler) wikiPageWikiLink Formal_language.
- Combinatorics wikiPageWikiLink Formal_language.
- Combinatorics_on_words wikiPageWikiLink Formal_language.
- Common_Logic wikiPageWikiLink Formal_language.
- Communicating_sequential_processes wikiPageWikiLink Formal_language.
- Complete_theory wikiPageWikiLink Formal_language.
- Completeness_(logic) wikiPageWikiLink Formal_language.
- Computability wikiPageWikiLink Formal_language.
- Computability_theory wikiPageWikiLink Formal_language.
- Computable_function wikiPageWikiLink Formal_language.
- Computation_history wikiPageWikiLink Formal_language.
- Computational_complexity_theory wikiPageWikiLink Formal_language.
- Computational_semiotics wikiPageWikiLink Formal_language.
- Computer_language wikiPageWikiLink Formal_language.
- Computer_science wikiPageWikiLink Formal_language.
- Concatenation wikiPageWikiLink Formal_language.
- Conceptual_model wikiPageWikiLink Formal_language.
- Cone_(formal_languages) wikiPageWikiLink Formal_language.
- Conference_on_Implementation_and_Application_of_Automata wikiPageWikiLink Formal_language.
- Conjunction_elimination wikiPageWikiLink Formal_language.