Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/FormalLanguages> . }
- %CE%A9-language type FormalLanguages.
- Abstract_family_of_acceptors type FormalLanguages.
- Abstract_family_of_languages type FormalLanguages.
- Abstract_semantic_graph type FormalLanguages.
- Abstract_syntax_tree type FormalLanguages.
- Adaptive_grammar type FormalLanguages.
- Affix_grammar type FormalLanguages.
- Alphabet_(computer_science) type FormalLanguages.
- Ambiguous_grammar type FormalLanguages.
- Aperiodic_finite_state_automaton type FormalLanguages.
- Arden's_Rule type FormalLanguages.
- Attribute_grammar type FormalLanguages.
- Augmented_Backus%E2%80%93Naur_Form type FormalLanguages.
- Bach_language type FormalLanguages.
- Backus%E2%80%93Naur_Form type FormalLanguages.
- Boolean_grammar type FormalLanguages.
- Categorial_grammar type FormalLanguages.
- Chomsky%E2%80%93Sch%C3%BCtzenberger_theorem type FormalLanguages.
- Chomsky_hierarchy type FormalLanguages.
- Chomsky_normal_form type FormalLanguages.
- Cone_(formal_languages) type FormalLanguages.
- Conjunctive_grammar type FormalLanguages.
- Context-free_grammar type FormalLanguages.
- Context-free_language type FormalLanguages.
- Context-sensitive_grammar type FormalLanguages.
- Context-sensitive_language type FormalLanguages.
- Context_change_potential type FormalLanguages.
- Controlled_grammar type FormalLanguages.
- Convolution_(computer_science) type FormalLanguages.
- Definite_clause_grammar type FormalLanguages.
- Descriptional_Complexity_of_Formal_Systems type FormalLanguages.
- Descriptive_interpretation type FormalLanguages.
- Deterministic_context-free_grammar type FormalLanguages.
- Deterministic_context-free_language type FormalLanguages.
- Diff type FormalLanguages.
- Discontinuous-constituent_phrase_structure_grammar type FormalLanguages.
- Dyck_language type FormalLanguages.
- ECLR-attributed_grammar type FormalLanguages.
- Empty_string type FormalLanguages.
- Erasing_rule type FormalLanguages.
- Extended_Affix_Grammar type FormalLanguages.
- Extended_Backus%E2%80%93Naur_Form type FormalLanguages.
- Finite_thickness type FormalLanguages.
- Formal_grammar type FormalLanguages.
- Formal_language type FormalLanguages.
- Formal_system type FormalLanguages.
- Formation_rule type FormalLanguages.
- Gellish_English type FormalLanguages.
- Generalized_context-free_grammar type FormalLanguages.
- Generalized_star_height_problem type FormalLanguages.
- Global_index_grammar type FormalLanguages.
- Grammar_systems_theory type FormalLanguages.
- Greibach_normal_form type FormalLanguages.
- Head_grammar type FormalLanguages.
- Indexed_grammar type FormalLanguages.
- Indexed_language type FormalLanguages.
- Intended_interpretation type FormalLanguages.
- International_Conference_on_Developments_in_Language_Theory type FormalLanguages.
- Interpretation_(logic) type FormalLanguages.
- Junction_Grammar type FormalLanguages.
- Kleene_star type FormalLanguages.
- Kuroda_normal_form type FormalLanguages.
- L-attributed_grammar type FormalLanguages.
- L-system type FormalLanguages.
- LR-attributed_grammar type FormalLanguages.
- Language_equation type FormalLanguages.
- Language_identification_in_the_limit type FormalLanguages.
- Left_quotient type FormalLanguages.
- Left_recursion type FormalLanguages.
- Levi's_lemma type FormalLanguages.
- Lexical_grammar type FormalLanguages.
- Linear_grammar type FormalLanguages.
- Literal_movement_grammar type FormalLanguages.
- Locally_catenative_sequence type FormalLanguages.
- Longest_increasing_subsequence type FormalLanguages.
- Longest_repeated_substring_problem type FormalLanguages.
- Matrix_grammar type FormalLanguages.
- Maximal_pair type FormalLanguages.
- Metacharacter type FormalLanguages.
- Metasyntax type FormalLanguages.
- Mildly_context-sensitive_language type FormalLanguages.
- Minimalist_grammar type FormalLanguages.
- Mizar_system type FormalLanguages.
- Montague_grammar type FormalLanguages.
- Myhill%E2%80%93Nerode_theorem type FormalLanguages.
- Nested_word type FormalLanguages.
- Non-logical_symbol type FormalLanguages.
- Noncontracting_grammar type FormalLanguages.
- Ogden's_lemma type FormalLanguages.
- Omega-regular_language type FormalLanguages.
- Omega_language type FormalLanguages.
- Operator-precedence_grammar type FormalLanguages.
- Parikh's_theorem type FormalLanguages.
- Parser_combinator type FormalLanguages.
- Parsing_expression_grammar type FormalLanguages.
- Permutation_automaton type FormalLanguages.
- Picture_language type FormalLanguages.
- Prefix_grammar type FormalLanguages.
- Proof_(truth) type FormalLanguages.
- Pumping_lemma type FormalLanguages.