Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Formal languages
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
699134
(xsd:integer)
dbo:
wikiPageRevisionID
1052070152
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commons_category
dbt
:CatAutoTOC
dbt
:Cat_main
rdf:
type
skos
:Concept
rdfs:
label
Formal languages
(en)
skos:
broader
dbc
:Combinatorics_on_words
dbc
:Grammar
dbc
:Formal_sciences
dbc
:Syntax_(logic)
dbc
:Constructed_languages
dbc
:Formalism_(deductive)
dbc
:Theoretical_computer_science
dbc
:Mathematical_logic
dbc
:Metalogic
skos:
prefLabel
Formal languages
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Formal_languages?oldid=1052070152&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Proof_(truth)
dbr
:List_of_formal_language_and_literal_string_topics
dbr
:Montague_grammar
dbr
:Morphic_word
dbr
:Myhill–Nerode_theorem
dbr
:Metacharacter
dbr
:Monoid_factorisation
dbr
:Set_constraint
dbr
:Profinite_word
dbr
:Algorithmic_learning_theory
dbr
:Antimatroid
dbr
:Arden's_rule
dbr
:Regular_expression
dbr
:Cyclic_language
dbr
:Definite_clause_grammar
dbr
:Dershowitz–Manna_ordering
dbr
:Descriptional_Complexity_of_Formal_Systems
dbr
:Descriptive_interpretation
dbr
:Deterministic_context-free_grammar
dbr
:Deterministic_context-free_language
dbr
:Deterministic_pushdown_automaton
dbr
:Dyck_congruence
dbr
:Indexed_grammar
dbr
:Indexed_language
dbr
:Induction_of_regular_languages
dbr
:International_Conference_on_Developments_in_Language_Theory
dbr
:Interpretation_(logic)
dbr
:Introduction_to_Automata_Theory,_Languages,_and_Computation
dbr
:Kuroda_normal_form
dbr
:L-attributed_grammar
dbr
:Lexical_grammar
dbr
:SCIgen
dbr
:Star-free_language
dbr
:Compiler_Description_Language
dbr
:Concatenation
dbr
:Context-free_grammar
dbr
:Generalized_star-height_problem
dbr
:Normal_form_(abstract_rewriting)
dbr
:Ogden's_lemma
dbr
:Omega_language
dbr
:Operator-precedence_grammar
dbr
:Rewriting
dbr
:Signed-digit_representation
dbr
:Parikh's_theorem
dbr
:Pumping_lemma_for_regular_languages
dbr
:Quasi-quotation
dbr
:Quotient_of_a_formal_language
dbr
:Simple_precedence_grammar
dbr
:Empty_string
dbr
:Generalized_context-free_grammar
dbr
:Cone_(formal_languages)
dbr
:Conference_on_Implementation_and_Application_of_Automata
dbr
:Conjunctive_grammar
dbr
:Context-free_language
dbr
:Context-sensitive_grammar
dbr
:Context-sensitive_language
dbr
:Controlled_grammar
dbr
:Critical_exponent_of_a_word
dbr
:Cross-serial_dependencies
dbr
:Equivalence_(formal_languages)
dbr
:Equivalence_problem
dbr
:LL_grammar
dbr
:LR-attributed_grammar
dbr
:Minimalist_grammar
dbr
:Mildly_context-sensitive_grammar_formalism
dbr
:SLR_grammar
dbr
:Chomsky–Schützenberger_enumeration_theorem
dbr
:Chomsky–Schützenberger_representation_theorem
dbr
:Closest_string
dbr
:Compact_semigroup
dbr
:Emptiness_problem
dbr
:Hall_word
dbr
:Parser_Grammar_Engine
dbr
:Parsing_expression_grammar
dbr
:Pattern_language_(formal_languages)
dbr
:Sparse_language
dbr
:String_(computer_science)
dbr
:Symbol_(formal)
dbr
:Syntax_(logic)
dbr
:Matrix_grammar
dbr
:Maximal_pair
dbr
:Prefix_grammar
dbr
:String_operations
dbr
:Backus–Naur_form
dbr
:Action_algebra
dbr
:Agent_Communications_Language
dbr
:Tree_(automata_theory)
dbr
:Tree_automaton
dbr
:Tree_transducer
dbr
:Wirth–Weber_precedence_relationship
dbr
:Head_grammar
dbr
:Junction_Grammar
dbr
:Language_equation
dbr
:Language_identification_in_the_limit
dbr
:Linear_grammar
dbr
:Local_language_(formal_language)
dbr
:Locally_catenative_sequence
dbr
:Pumping_lemma_for_context-free_languages
dbr
:Sesquipower
dbr
:S-attributed_grammar
dbr
:Post_canonical_system
dbr
:Unrestricted_grammar
dbr
:Recursively_enumerable_language
dbr
:Adaptive_grammar
dbr
:Dyck_language
dbr
:ECLR-attributed_grammar
dbr
:Alphabet_(formal_languages)
dbr
:Ambiguous_grammar
dbr
:Extended_Backus–Naur_form
dbr
:Discontinuous-constituent_phrase_structure_grammar
dbr
:Formal_grammar
dbr
:Formal_language
dbr
:Formal_proof
dbr
:Formal_system
dbr
:Formation_rule
dbr
:Global_index_grammar
dbr
:Grammar_systems_theory
dbr
:History_monoid
dbr
:Unary_numeral_system
dbr
:Left_recursion
dbr
:Leftist_grammar
dbr
:Probabilistic_context-free_grammar
dbr
:Synchronous_context-free_grammar
dbr
:Well-formed_formula
dbr
:Ludwig_Staiger
dbr
:Production_(computer_science)
dbr
:Regular_language
dbr
:Regular_tree_grammar
dbr
:Syntactic_predicate
dbr
:Attribute_grammar
dbr
:Straight-line_grammar
dbr
:Shortest_common_supersequence_problem
dbr
:Trace_theory
dbr
:Abstract_family_of_acceptors
dbr
:Abstract_family_of_languages
dbr
:Abstract_rewriting_system
dbr
:Abstract_semantic_graph
dbr
:Abstract_syntax_tree
dbr
:Affix_grammar
dbr
:Chomsky_hierarchy
dbr
:Chomsky_normal_form
dbr
:Bigram
dbr
:Terminal_and_nonterminal_symbols
dbr
:Top-down_parsing_language
dbr
:Trace_monoid
dbr
:Splicing_rule
dbr
:Star_height_problem
dbr
:Star_height
dbr
:Recursive_grammar
dbr
:Recursive_language
dbr
:Regular_numerical_predicate
dbr
:Regulated_rewriting
dbr
:Smallest_grammar_problem
dbr
:Diff
dbr
:Augmented_Backus–Naur_form
dbr
:Autocorrelation_(words)
dbr
:Boolean_grammar
dbr
:Büchi-Elgot-Trakhtenbrot_theorem
dbr
:Free_monoid
dbr
:Free_partially_commutative_group
dbr
:Greibach's_theorem
dbr
:Greibach_normal_form
dbr
:Growing_context-sensitive_grammar
dbr
:Interchange_lemma
dbr
:Kleene_algebra
dbr
:Brzozowski_derivative
dbr
:Omega-regular_language
dbr
:Categorial_grammar
dbr
:Ranked_alphabet
dbr
:Kleene_star
dbr
:Longest_increasing_subsequence
dbr
:Longest_repeated_substring_problem
dbr
:Markup_language
dbr
:Turing_machine
dbr
:Unavoidable_pattern
dbr
:Van_Wijngaarden_grammar
dbr
:WFF_'N_PROOF
dbr
:Nested_word
dbr
:Semi-Thue_system
dbr
:Extended_affix_grammar
dbr
:Literal_movement_grammar
dbr
:Parser_combinator
dbr
:Semantics_encoding
dbr
:Syntactic_monoid
dbr
:Regular_grammar
dbr
:Finite_thickness
dbr
:Gesture_Description_Language
dbr
:Picture_language
dbr
:Rational_series
dbr
:Noncontracting_grammar
dbr
:Muller–Schupp_theorem
dbr
:Terminal_yield
dbr
:Unary_language
dbr
:Non-logical_symbol
dbr
:Two-level_grammar
dbr
:Recurrent_word
dbr
:Substring
dbr
:Shamir_congruence
dbr
:Syntax_diagram
dbr
:Range_concatenation_grammar
dbr
:Stochastic_language
is
dcterms:
subject
of
dbr
:Proof_(truth)
dbr
:List_of_formal_language_and_literal_string_topics
dbr
:Montague_grammar
dbr
:Morphic_word
dbr
:Myhill–Nerode_theorem
dbr
:Metacharacter
dbr
:Monoid_factorisation
dbr
:Set_constraint
dbr
:Profinite_word
dbr
:Algorithmic_learning_theory
dbr
:Antimatroid
dbr
:Arden's_rule
dbr
:Regular_expression
dbr
:Cyclic_language
dbr
:Definite_clause_grammar
dbr
:Dershowitz–Manna_ordering
dbr
:Descriptional_Complexity_of_Formal_Systems
dbr
:Descriptive_interpretation
dbr
:Deterministic_context-free_grammar
dbr
:Deterministic_context-free_language
dbr
:Deterministic_pushdown_automaton
dbr
:Dyck_congruence
dbr
:Indexed_grammar
dbr
:Indexed_language
dbr
:Induction_of_regular_languages
dbr
:International_Conference_on_Developments_in_Language_Theory
dbr
:Interpretation_(logic)
dbr
:Introduction_to_Automata_Theory,_Languages,_and_Computation
dbr
:Kuroda_normal_form
dbr
:L-attributed_grammar
dbr
:Lexical_grammar
dbr
:SCIgen
dbr
:Star-free_language
dbr
:Compiler_Description_Language
dbr
:Concatenation
dbr
:Context-free_grammar
dbr
:Generalized_star-height_problem
dbr
:Normal_form_(abstract_rewriting)
dbr
:Ogden's_lemma
dbr
:Omega_language
dbr
:Operator-precedence_grammar
dbr
:Rewriting
dbr
:Signed-digit_representation
dbr
:Parikh's_theorem
dbr
:Pumping_lemma_for_regular_languages
dbr
:Quasi-quotation
dbr
:Quotient_of_a_formal_language
dbr
:Simple_precedence_grammar
dbr
:Empty_string
dbr
:Generalized_context-free_grammar
dbr
:Cone_(formal_languages)
dbr
:Conference_on_Implementation_and_Application_of_Automata
dbr
:Conjunctive_grammar
dbr
:Context-free_language
dbr
:Context-sensitive_grammar
dbr
:Context-sensitive_language
dbr
:Controlled_grammar
dbr
:Critical_exponent_of_a_word
dbr
:Cross-serial_dependencies
dbr
:Equivalence_(formal_languages)
dbr
:Equivalence_problem
dbr
:LL_grammar
dbr
:LR-attributed_grammar
dbr
:Minimalist_grammar
dbr
:Mildly_context-sensitive_grammar_formalism
dbr
:SLR_grammar
dbr
:Chomsky–Schützenberger_enumeration_theorem
dbr
:Chomsky–Schützenberger_representation_theorem
dbr
:Closest_string
dbr
:Compact_semigroup
dbr
:Emptiness_problem
dbr
:Hall_word
dbr
:Parser_Grammar_Engine
dbr
:Parsing_expression_grammar
dbr
:Pattern_language_(formal_languages)
dbr
:Sparse_language
dbr
:String_(computer_science)
dbr
:Symbol_(formal)
dbr
:Syntax_(logic)
dbr
:Matrix_grammar
dbr
:Maximal_pair
dbr
:Prefix_grammar
dbr
:String_operations
dbr
:Backus–Naur_form
dbr
:Action_algebra
dbr
:Agent_Communications_Language
dbr
:Tree_(automata_theory)
dbr
:Tree_automaton
dbr
:Tree_transducer
dbr
:Wirth–Weber_precedence_relationship
dbr
:Head_grammar
dbr
:Junction_Grammar
dbr
:Language_equation
dbr
:Language_identification_in_the_limit
dbr
:Linear_grammar
dbr
:Local_language_(formal_language)
dbr
:Locally_catenative_sequence
dbr
:Pumping_lemma_for_context-free_languages
dbr
:Sesquipower
dbr
:S-attributed_grammar
dbr
:Post_canonical_system
dbr
:Unrestricted_grammar
dbr
:Recursively_enumerable_language
dbr
:Adaptive_grammar
dbr
:Dyck_language
dbr
:ECLR-attributed_grammar
dbr
:Alphabet_(formal_languages)
dbr
:Ambiguous_grammar
dbr
:Extended_Backus–Naur_form
dbr
:Discontinuous-constituent_phrase_structure_grammar
dbr
:Formal_grammar
dbr
:Formal_language
dbr
:Formal_proof
dbr
:Formal_system
dbr
:Formation_rule
dbr
:Global_index_grammar
dbr
:Grammar_systems_theory
dbr
:History_monoid
dbr
:Unary_numeral_system
dbr
:Left_recursion
dbr
:Leftist_grammar
dbr
:Probabilistic_context-free_grammar
dbr
:Synchronous_context-free_grammar
dbr
:Well-formed_formula
dbr
:Ludwig_Staiger
dbr
:Production_(computer_science)
dbr
:Regular_language
dbr
:Regular_tree_grammar
dbr
:Syntactic_predicate
dbr
:Attribute_grammar
dbr
:Straight-line_grammar
dbr
:Shortest_common_supersequence_problem
dbr
:Trace_theory
dbr
:Abstract_family_of_acceptors
dbr
:Abstract_family_of_languages
dbr
:Abstract_rewriting_system
dbr
:Abstract_semantic_graph
dbr
:Abstract_syntax_tree
dbr
:Affix_grammar
dbr
:Chomsky_hierarchy
dbr
:Chomsky_normal_form
dbr
:Bigram
dbr
:Terminal_and_nonterminal_symbols
dbr
:Top-down_parsing_language
dbr
:Trace_monoid
dbr
:Splicing_rule
dbr
:Star_height_problem
dbr
:Star_height
dbr
:Recursive_grammar
dbr
:Recursive_language
dbr
:Regular_numerical_predicate
dbr
:Regulated_rewriting
dbr
:Smallest_grammar_problem
dbr
:Diff
dbr
:Augmented_Backus–Naur_form
dbr
:Autocorrelation_(words)
dbr
:Boolean_grammar
dbr
:Büchi-Elgot-Trakhtenbrot_theorem
dbr
:Free_monoid
dbr
:Free_partially_commutative_group
dbr
:Greibach's_theorem
dbr
:Greibach_normal_form
dbr
:Growing_context-sensitive_grammar
dbr
:Interchange_lemma
dbr
:Kleene_algebra
dbr
:Brzozowski_derivative
dbr
:Omega-regular_language
dbr
:Categorial_grammar
dbr
:Ranked_alphabet
dbr
:Kleene_star
dbr
:Longest_increasing_subsequence
dbr
:Longest_repeated_substring_problem
dbr
:Markup_language
dbr
:Turing_machine
dbr
:Unavoidable_pattern
dbr
:Van_Wijngaarden_grammar
dbr
:WFF_'N_PROOF
dbr
:Nested_word
dbr
:Semi-Thue_system
dbr
:Extended_affix_grammar
dbr
:Literal_movement_grammar
dbr
:Parser_combinator
dbr
:Semantics_encoding
dbr
:Syntactic_monoid
dbr
:Regular_grammar
dbr
:Finite_thickness
dbr
:Gesture_Description_Language
dbr
:Picture_language
dbr
:Rational_series
dbr
:Noncontracting_grammar
dbr
:Muller–Schupp_theorem
dbr
:Terminal_yield
dbr
:Unary_language
dbr
:Non-logical_symbol
dbr
:Two-level_grammar
dbr
:Recurrent_word
dbr
:Substring
dbr
:Shamir_congruence
dbr
:Syntax_diagram
dbr
:Range_concatenation_grammar
dbr
:Stochastic_language
is
skos:
broader
of
dbc
:Pattern_matching
dbc
:Logic_symbols
dbc
:Formal_theories
dbc
:Trace_theory
dbc
:L-systems
dbc
:Problems_on_strings
dbc
:Graph_rewriting
dbc
:Computer_languages
dbc
:Dependently_typed_languages
dbc
:Parsing
dbc
:Grammar_frameworks
dbc
:Metalanguages
dbc
:Algorithms_on_strings
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License