Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Formal_languages> }
- Locally_catenative_sequence wikiPageWikiLink Category:Formal_languages.
- Longest_increasing_subsequence wikiPageWikiLink Category:Formal_languages.
- Longest_repeated_substring_problem wikiPageWikiLink Category:Formal_languages.
- Ludwig_Staiger wikiPageWikiLink Category:Formal_languages.
- Markup_language wikiPageWikiLink Category:Formal_languages.
- Matrix_grammar wikiPageWikiLink Category:Formal_languages.
- Maximal_pair wikiPageWikiLink Category:Formal_languages.
- Metacharacter wikiPageWikiLink Category:Formal_languages.
- Metasyntax wikiPageWikiLink Category:Formal_languages.
- Mildly_context-sensitive_grammar_formalism wikiPageWikiLink Category:Formal_languages.
- Minimalist_grammar wikiPageWikiLink Category:Formal_languages.
- Monoid_factorisation wikiPageWikiLink Category:Formal_languages.
- Montague_grammar wikiPageWikiLink Category:Formal_languages.
- Morphic_word wikiPageWikiLink Category:Formal_languages.
- Myhill–Nerode_theorem wikiPageWikiLink Category:Formal_languages.
- Nested_word wikiPageWikiLink Category:Formal_languages.
- Non-logical_symbol wikiPageWikiLink Category:Formal_languages.
- Noncontracting_grammar wikiPageWikiLink Category:Formal_languages.
- Normal_form_(abstract_rewriting) wikiPageWikiLink Category:Formal_languages.
- Ogdens_lemma wikiPageWikiLink Category:Formal_languages.
- Omega-regular_language wikiPageWikiLink Category:Formal_languages.
- Omega_language wikiPageWikiLink Category:Formal_languages.
- Operator-precedence_grammar wikiPageWikiLink Category:Formal_languages.
- Parikhs_theorem wikiPageWikiLink Category:Formal_languages.
- Parser_Grammar_Engine wikiPageWikiLink Category:Formal_languages.
- Parser_combinator wikiPageWikiLink Category:Formal_languages.
- Parsing_expression_grammar wikiPageWikiLink Category:Formal_languages.
- Pattern_language_(formal_languages) wikiPageWikiLink Category:Formal_languages.
- Picture_language wikiPageWikiLink Category:Formal_languages.
- Post_canonical_system wikiPageWikiLink Category:Formal_languages.
- Prefix_grammar wikiPageWikiLink Category:Formal_languages.
- Production_(computer_science) wikiPageWikiLink Category:Formal_languages.
- Proof_(truth) wikiPageWikiLink Category:Formal_languages.
- Pumping_lemma_for_context-free_languages wikiPageWikiLink Category:Formal_languages.
- Pumping_lemma_for_regular_languages wikiPageWikiLink Category:Formal_languages.
- Quasi-quotation wikiPageWikiLink Category:Formal_languages.
- Range_concatenation_grammars wikiPageWikiLink Category:Formal_languages.
- Rational_series wikiPageWikiLink Category:Formal_languages.
- Recurrent_word wikiPageWikiLink Category:Formal_languages.
- Recursive_grammar wikiPageWikiLink Category:Formal_languages.
- Recursive_language wikiPageWikiLink Category:Formal_languages.
- Recursively_enumerable_language wikiPageWikiLink Category:Formal_languages.
- Regular_expression wikiPageWikiLink Category:Formal_languages.
- Regular_grammar wikiPageWikiLink Category:Formal_languages.
- Regular_language wikiPageWikiLink Category:Formal_languages.
- Regular_tree_grammar wikiPageWikiLink Category:Formal_languages.
- Regulated_rewriting wikiPageWikiLink Category:Formal_languages.
- Rewriting wikiPageWikiLink Category:Formal_languages.
- Right_quotient wikiPageWikiLink Category:Formal_languages.
- S-attributed_grammar wikiPageWikiLink Category:Formal_languages.
- SCIgen wikiPageWikiLink Category:Formal_languages.
- SLR_grammar wikiPageWikiLink Category:Formal_languages.
- Semantics_encoding wikiPageWikiLink Category:Formal_languages.
- Semi-Thue_system wikiPageWikiLink Category:Formal_languages.
- Sesquipower wikiPageWikiLink Category:Formal_languages.
- Set_constraint wikiPageWikiLink Category:Formal_languages.
- Shamir_congruence wikiPageWikiLink Category:Formal_languages.
- Shortest_common_supersequence_problem wikiPageWikiLink Category:Formal_languages.
- Simple_precedence_grammar wikiPageWikiLink Category:Formal_languages.
- Smallest_grammar_problem wikiPageWikiLink Category:Formal_languages.
- Sparse_language wikiPageWikiLink Category:Formal_languages.
- Splicing_rule wikiPageWikiLink Category:Formal_languages.
- Square-free_word wikiPageWikiLink Category:Formal_languages.
- Star-free_language wikiPageWikiLink Category:Formal_languages.
- Star_height wikiPageWikiLink Category:Formal_languages.
- Star_height_problem wikiPageWikiLink Category:Formal_languages.
- Stochastic_context-free_grammar wikiPageWikiLink Category:Formal_languages.
- Stochastic_language wikiPageWikiLink Category:Formal_languages.
- Straight-line_grammar wikiPageWikiLink Category:Formal_languages.
- String_(computer_science) wikiPageWikiLink Category:Formal_languages.
- String_operations wikiPageWikiLink Category:Formal_languages.
- Strong_generative_capacity wikiPageWikiLink Category:Formal_languages.
- Substring wikiPageWikiLink Category:Formal_languages.
- Symbol_(formal) wikiPageWikiLink Category:Formal_languages.
- Synchronous_context-free_grammar wikiPageWikiLink Category:Formal_languages.
- Syntactic_monoid wikiPageWikiLink Category:Formal_languages.
- Syntactic_predicate wikiPageWikiLink Category:Formal_languages.
- Syntax_(logic) wikiPageWikiLink Category:Formal_languages.
- Syntax_diagram wikiPageWikiLink Category:Formal_languages.
- Tell-tale wikiPageWikiLink Category:Formal_languages.
- Terminal_and_nonterminal_symbols wikiPageWikiLink Category:Formal_languages.
- Terminal_yield wikiPageWikiLink Category:Formal_languages.
- Top-down_parsing_language wikiPageWikiLink Category:Formal_languages.
- Trace_monoid wikiPageWikiLink Category:Formal_languages.
- Trace_theory wikiPageWikiLink Category:Formal_languages.
- Turing_machine wikiPageWikiLink Category:Formal_languages.
- Two-level_grammar wikiPageWikiLink Category:Formal_languages.
- Unary_language wikiPageWikiLink Category:Formal_languages.
- Unavoidable_pattern wikiPageWikiLink Category:Formal_languages.
- Union_of_two_regular_languages wikiPageWikiLink Category:Formal_languages.
- Uniquely_inversible_grammar wikiPageWikiLink Category:Formal_languages.
- Unrestricted_grammar wikiPageWikiLink Category:Formal_languages.
- Useless_rules wikiPageWikiLink Category:Formal_languages.
- Van_Wijngaarden_grammar wikiPageWikiLink Category:Formal_languages.
- Weak_generative_capacity wikiPageWikiLink Category:Formal_languages.
- Weighted_context-free_grammar wikiPageWikiLink Category:Formal_languages.
- Well-formed_formula wikiPageWikiLink Category:Formal_languages.
- Wirth_syntax_notation wikiPageWikiLink Category:Formal_languages.
- Wirth–Weber_precedence_relationship wikiPageWikiLink Category:Formal_languages.
- Abstract_family_of_acceptors subject Category:Formal_languages.