Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Formal_languages> }
- Abstract_family_of_acceptors wikiPageWikiLink Category:Formal_languages.
- Abstract_family_of_languages wikiPageWikiLink Category:Formal_languages.
- Abstract_rewriting_system wikiPageWikiLink Category:Formal_languages.
- Abstract_semantic_graph wikiPageWikiLink Category:Formal_languages.
- Abstract_syntax_tree wikiPageWikiLink Category:Formal_languages.
- Action_algebra wikiPageWikiLink Category:Formal_languages.
- Adaptive_grammar wikiPageWikiLink Category:Formal_languages.
- Affix_grammar wikiPageWikiLink Category:Formal_languages.
- Agent_Communications_Language wikiPageWikiLink Category:Formal_languages.
- Algorithmic_learning_theory wikiPageWikiLink Category:Formal_languages.
- Alphabet_(formal_languages) wikiPageWikiLink Category:Formal_languages.
- Ambiguous_grammar wikiPageWikiLink Category:Formal_languages.
- Antimatroid wikiPageWikiLink Category:Formal_languages.
- Ardens_Rule wikiPageWikiLink Category:Formal_languages.
- Attribute_grammar wikiPageWikiLink Category:Formal_languages.
- Augmented_Backus–Naur_Form wikiPageWikiLink Category:Formal_languages.
- Backus–Naur_Form wikiPageWikiLink Category:Formal_languages.
- Bigram wikiPageWikiLink Category:Formal_languages.
- Boolean_grammar wikiPageWikiLink Category:Formal_languages.
- Brzozowski_derivative wikiPageWikiLink Category:Formal_languages.
- Categorial_grammar wikiPageWikiLink Category:Formal_languages.
- Chomsky_hierarchy wikiPageWikiLink Category:Formal_languages.
- Chomsky_normal_form wikiPageWikiLink Category:Formal_languages.
- Chomsky–Schützenberger_enumeration_theorem wikiPageWikiLink Category:Formal_languages.
- Chomsky–Schützenberger_representation_theorem wikiPageWikiLink Category:Formal_languages.
- Closest_string wikiPageWikiLink Category:Formal_languages.
- Compact_semigroup wikiPageWikiLink Category:Formal_languages.
- Compiler_Description_Language wikiPageWikiLink Category:Formal_languages.
- Concatenation wikiPageWikiLink Category:Formal_languages.
- Cone_(formal_languages) wikiPageWikiLink Category:Formal_languages.
- Conference_on_Implementation_and_Application_of_Automata wikiPageWikiLink Category:Formal_languages.
- Conjunctive_grammar wikiPageWikiLink Category:Formal_languages.
- Context-free_grammar wikiPageWikiLink Category:Formal_languages.
- Context-free_language wikiPageWikiLink Category:Formal_languages.
- Context-sensitive_grammar wikiPageWikiLink Category:Formal_languages.
- Context-sensitive_language wikiPageWikiLink Category:Formal_languages.
- Context_change_potential wikiPageWikiLink Category:Formal_languages.
- Controlled_grammar wikiPageWikiLink Category:Formal_languages.
- Convolution_(computer_science) wikiPageWikiLink Category:Formal_languages.
- Critical_exponent_of_a_word wikiPageWikiLink Category:Formal_languages.
- Cross-serial_dependencies wikiPageWikiLink Category:Formal_languages.
- Definite_clause_grammar wikiPageWikiLink Category:Formal_languages.
- Dershowitz–Manna_ordering wikiPageWikiLink Category:Formal_languages.
- Descriptional_Complexity_of_Formal_Systems wikiPageWikiLink Category:Formal_languages.
- Descriptive_interpretation wikiPageWikiLink Category:Formal_languages.
- Deterministic_context-free_grammar wikiPageWikiLink Category:Formal_languages.
- Deterministic_context-free_language wikiPageWikiLink Category:Formal_languages.
- Deterministic_pushdown_automaton wikiPageWikiLink Category:Formal_languages.
- Diff_utility wikiPageWikiLink Category:Formal_languages.
- Discontinuous-constituent_phrase_structure_grammar wikiPageWikiLink Category:Formal_languages.
- Dyck_congruence wikiPageWikiLink Category:Formal_languages.
- Dyck_language wikiPageWikiLink Category:Formal_languages.
- ECLR-attributed_grammar wikiPageWikiLink Category:Formal_languages.
- Empty_string wikiPageWikiLink Category:Formal_languages.
- Equivalence_(formal_languages) wikiPageWikiLink Category:Formal_languages.
- Erasing_rule wikiPageWikiLink Category:Formal_languages.
- Extended_Affix_Grammar wikiPageWikiLink Category:Formal_languages.
- Extended_Backus–Naur_Form wikiPageWikiLink Category:Formal_languages.
- Finite_thickness wikiPageWikiLink Category:Formal_languages.
- Formal_grammar wikiPageWikiLink Category:Formal_languages.
- Formal_language wikiPageWikiLink Category:Formal_languages.
- Formal_proof wikiPageWikiLink Category:Formal_languages.
- Formal_system wikiPageWikiLink Category:Formal_languages.
- Formation_rule wikiPageWikiLink Category:Formal_languages.
- Free_monoid wikiPageWikiLink Category:Formal_languages.
- Free_partially_commutative_group wikiPageWikiLink Category:Formal_languages.
- Generalized_context-free_grammar wikiPageWikiLink Category:Formal_languages.
- Generalized_star_height_problem wikiPageWikiLink Category:Formal_languages.
- Gesture_Description_Language wikiPageWikiLink Category:Formal_languages.
- Global_index_grammar wikiPageWikiLink Category:Formal_languages.
- Grammar_systems_theory wikiPageWikiLink Category:Formal_languages.
- Greibach_normal_form wikiPageWikiLink Category:Formal_languages.
- Greibachs_theorem wikiPageWikiLink Category:Formal_languages.
- Growing_context-sensitive_grammar wikiPageWikiLink Category:Formal_languages.
- Head_grammar wikiPageWikiLink Category:Formal_languages.
- History_monoid wikiPageWikiLink Category:Formal_languages.
- Indexed_grammar wikiPageWikiLink Category:Formal_languages.
- Indexed_language wikiPageWikiLink Category:Formal_languages.
- Induction_of_regular_languages wikiPageWikiLink Category:Formal_languages.
- International_Conference_on_Developments_in_Language_Theory wikiPageWikiLink Category:Formal_languages.
- Interpretation_(logic) wikiPageWikiLink Category:Formal_languages.
- Introduction_to_Automata_Theory,_Languages,_and_Computation wikiPageWikiLink Category:Formal_languages.
- Junction_Grammar wikiPageWikiLink Category:Formal_languages.
- Kleene_algebra wikiPageWikiLink Category:Formal_languages.
- Kleene_star wikiPageWikiLink Category:Formal_languages.
- Kuroda_normal_form wikiPageWikiLink Category:Formal_languages.
- L-attributed_grammar wikiPageWikiLink Category:Formal_languages.
- L-system wikiPageWikiLink Category:Formal_languages.
- LL_grammar wikiPageWikiLink Category:Formal_languages.
- LR-attributed_grammar wikiPageWikiLink Category:Formal_languages.
- Language_equation wikiPageWikiLink Category:Formal_languages.
- Language_identification_in_the_limit wikiPageWikiLink Category:Formal_languages.
- Left_quotient wikiPageWikiLink Category:Formal_languages.
- Left_recursion wikiPageWikiLink Category:Formal_languages.
- Lexical_grammar wikiPageWikiLink Category:Formal_languages.
- Linear_grammar wikiPageWikiLink Category:Formal_languages.
- List_of_formal_language_and_literal_string_topics wikiPageWikiLink Category:Formal_languages.
- List_of_mathematics_categories wikiPageWikiLink Category:Formal_languages.
- Literal_movement_grammar wikiPageWikiLink Category:Formal_languages.
- Local_language_(formal_language) wikiPageWikiLink Category:Formal_languages.