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