About: Formal languages

Property	Value
rdf:type	skos:Concept
rdfs:label	Formal languages
skos:broader	dbpedia:Category:Syntactic_entities dbpedia:Category:Grammar dbpedia:Category:Combinatorics_on_words dbpedia:Category:Formal_sciences dbpedia:Category:Constructed_languages dbpedia:Category:Mathematical_logic dbpedia:Category:Metalogic dbpedia:Category:Theoretical_computer_science
skos:prefLabel	Formal languages
is skos:broader of	dbpedia:Category:Dependently-typed_formal_languages dbpedia:Category:Graph_rewriting dbpedia:Category:Parsing_algorithms dbpedia:Category:Formal_systems dbpedia:Category:Parsing dbpedia:Category:Pattern_matching
is skos:subject of	dbpedia:Context-free_grammar dbpedia:Context-sensitive_grammar dbpedia:Formal_grammar dbpedia:Kleene_star dbpedia:Chomsky_normal_form dbpedia:Greibach_normal_form dbpedia:Abstract_syntax_tree dbpedia:Myhill–Nerode_theorem dbpedia:Regular_grammar dbpedia:Recursively_enumerable_language dbpedia:Empty_string dbpedia:Linear_grammar dbpedia:Star_height dbpedia:Rewriting dbpedia:Van_Wijngaarden_grammar dbpedia:Word_problem_(computability) dbpedia:Affix_grammar dbpedia:Aperiodic_finite_state_automaton dbpedia:Interpretation_(logic) dbpedia:Montague_grammar dbpedia:Omega_language dbpedia:Context_change_potential dbpedia:Convolution_(computer_science) dbpedia:Formation_rule dbpedia:Generalized_star_height_problem dbpedia:History_monoid dbpedia:Introduction_to_Automata_Theory,_Languages,_and_Computation dbpedia:Levi's_lemma dbpedia:List_of_formal_language_and_literal_string_topics dbpedia:Longest_increasing_subsequence dbpedia:Matrix_grammar dbpedia:Metasyntax dbpedia:Mildly_context-sensitive_language dbpedia:Mizar_system dbpedia:Regular_expression dbpedia:Chomsky_hierarchy dbpedia:Markup_language dbpedia:Diff dbpedia:Pumping_lemma dbpedia:Metacharacter dbpedia:Semi-Thue_system dbpedia:Terminal_and_nonterminal_symbols dbpedia:Action_algebra dbpedia:Adaptive_grammar dbpedia:Augmented_Backus–Naur_Form dbpedia:Cone_(formal_languages) dbpedia:Formal_language_(logic) dbpedia:Symbol_(formal) dbpedia:Definite_clause_grammar dbpedia:Descriptional_Complexity_of_Formal_Systems dbpedia:Descriptive_interpretation dbpedia:Deterministic_context-free_grammar dbpedia:Erasing_rule dbpedia:Extended_Affix_Grammar dbpedia:Finite_thickness dbpedia:Grammar_systems_theory dbpedia:Indexed_grammar dbpedia:International_Conference_on_Developments_in_Language_Theory dbpedia:Kleene_algebra dbpedia:LR-attributed_grammar dbpedia:Language_identification_in_the_limit dbpedia:Extended_Backus–Naur_Form dbpedia:SCIgen dbpedia:Finite_state_transducer dbpedia:Context-sensitive_language dbpedia:Recursive_language dbpedia:Formal_proof dbpedia:Deterministic_context-free_language dbpedia:Dyck_language dbpedia:Concatenation dbpedia:Kuroda_normal_form dbpedia:Ambiguous_grammar dbpedia:Abstract_family_of_acceptors dbpedia:Abstract_family_of_languages dbpedia:Abstract_rewriting_system dbpedia:Agent_Communications_Language dbpedia:Bach_(programming_language) dbpedia:Bigram dbpedia:Syntactic_predicate dbpedia:Data_exchange_language dbpedia:ECLR-attributed_grammar dbpedia:Formal_semantics dbpedia:Free_monoid dbpedia:Indexed_language dbpedia:Intended_interpretation dbpedia:Left_recursion dbpedia:Locally_catenative_sequence dbpedia:Nested_word dbpedia:Parser_combinator dbpedia:Permutation_automaton dbpedia:Formal_language dbpedia:Backus–Naur_Form dbpedia:String_(computer_science) dbpedia:Context-free_language dbpedia:Regular_language dbpedia:Alphabet_(computer_science) dbpedia:Attribute_grammar dbpedia:Formal_system dbpedia:L-system dbpedia:Ogden's_lemma dbpedia:Parsing_expression_grammar dbpedia:Syntax_diagram dbpedia:Abstract_semantic_graph dbpedia:Antimatroid dbpedia:Boolean_grammar dbpedia:Categorial_grammar dbpedia:Conference_on_Implementation_and_Application_of_Automata dbpedia:Conjunctive_grammar dbpedia:Gellish dbpedia:Gellish_English dbpedia:L-attributed_grammar dbpedia:Language_equation dbpedia:Lexical_grammar dbpedia:Noncontracting_grammar dbpedia:Normal_form_(term_rewriting) dbpedia:Operator-precedence_grammar dbpedia:Post_canonical_system dbpedia:Quasi-quotation dbpedia:Semantics_encoding dbpedia:Semiautomaton dbpedia:Star-free_language dbpedia:Syntactic_monoid dbpedia:Supercombinator dbpedia:Tell-tale dbpedia:Terminal_yield dbpedia:Trace_monoid dbpedia:Trace_theory dbpedia:Useless_rules dbpedia:Wirth-Weber_precedence_relationship dbpedia:Picture_language dbpedia:Prefix_grammar dbpedia:Recursive_languages_and_sets dbpedia:Regular_tree_grammar dbpedia:S-attributed_grammar dbpedia:String_operations dbpedia:Strong_generative_capacity dbpedia:Two-level_grammar dbpedia:Unrestricted_grammar dbpedia:Weighted_context-free_grammar dbpedia:Omega-regular_language dbpedia:Parser_Grammar_Engine dbpedia:Pumping_lemma_for_context-free_languages dbpedia:Regulated_rewriting dbpedia:Right_quotient dbpedia:Shortest_common_supersequence dbpedia:Smallest_grammar_problem dbpedia:Simple_precedence_grammar dbpedia:Sparse_language dbpedia:Well-formed_formula dbpedia:Unary_language dbpedia:Uniquely_Inversible_Grammar dbpedia:Weak_generative_capacity dbpedia:Pumping_lemma_for_regular_languages dbpedia:Recognizable_language dbpedia:Star_height_problem dbpedia:Stochastic_context-free_grammar dbpedia:Syntax_(logic) dbpedia:Union_of_two_regular_languages dbpedia:Wirth_syntax_notation