About: Formal grammar

Property	Value
dbo:description	struttura astratta che descrive un linguaggio formale in modo preciso (it) biçimsel bir dilin yapısı (tr) estructura de un lenguaje formal (es) estrutura dunha linguaxe formal (gl) formalisme permettant de définir une syntaxe (fr) mathematische Modelle von Grammatiken in der theoretischen Informatik (de) structure of a formal language (en) מבנה של שפה פורמלית (iw)
dbo:thumbnail	wiki-commons:Special:FilePath/Terminal_and_non-terminal_symbols_example.png?width=300
dbo:wikiPageExternalLink	http://languagemachine.sourceforge.net/picturebook.html http://languagemachine.sourceforge.net/
dbo:wikiPageWikiLink	dbr:Syntactic_sugar dbr:Automata_theory dbr:Disjoint_sets dbr:Categorial_grammar dbr:Applied_mathematics dbc:Syntax dbr:Compiler dbr:Attribute_grammar dbr:Regular_grammar dbr:Context-free_language dbr:Ambiguous_grammar dbr:Reflexive_transitive_closure dbr:Alphabet dbr:Sanskrit dbr:Generative_grammar dbr:Lojban dbr:Parsing_expression_grammar dbr:Set_(mathematics) dbr:Abstract_syntax_tree dbr:Parse_tree dbc:Automata_(computation) dbr:Deterministic_context-free_language dbr:Extended_Backus–Naur_form dbr:Earley_parser dbr:Link_grammar dbr:Big_O_notation dbr:Well-formed_formula dbr:LL_parser dbr:L-system dbr:Set-builder_notation dbc:Grammar dbr:Formal_language dbr:Parsing dbr:Backus–Naur_form dbr:Deep_structure_and_surface_structure dbr:LR_parser dbr:Empty_string dbc:Mathematical_logic dbr:Linguistics dbr:Noam_Chomsky dbr:Programming_language dbc:Formal_languages dbr:Production_(computer_science) dbr:Finite-state_machine dbr:Theoretical_computer_science dbr:Left_recursion dbr:Recursion_(computer_science) dbr:Syntax dbr:Chomsky_hierarchy dbr:Pāṇini dbr:Regular_expression dbr:Context-free_grammar dbr:Mathematical_logic dbr:Semi-Thue_system dbr:Theoretical_linguistics dbr:Unrestricted_grammar dbr:Regular_language dbr:Kleene_star dbr:Semantics dbr:Tuple dbr:Union_(set_theory) dbr:Phrase_structure_grammar dbr:Adaptive_grammar dbr:Affix_grammar dbr:Turing_machine dbr:Post_canonical_system dbr:Tree-adjoining_grammar dbr:Shape_grammar dbr:Pumping_lemma_for_context-free_languages dbr:Top-down_parsing_language dbr:Formal_semantics_(logic) dbr:Nonterminal_symbol dbr:Terminal_symbol dbr:Top-down_parsing dbr:Concrete_syntax_tree dbr:Expressivity_(computer_science) dbr:Recognizer dbr:Compositional_semantics dbr:Parsing_algorithm dbr:Grammar_framework dbr:Rewriting_system dbr:Okoye_hierarchy
dbp:wikiPageUsesTemplate	dbt:Formal_languages_and_grammars dbt:Authority_control dbt:Columns-list dbt:Main dbt:Reflist dbt:Anchor dbt:Not_a_typo dbt:Div_col dbt:Div_col_end dbt:Distinguish dbt:Mvar dbt:Mathematical_logic dbt:Formal_languages dbt:Short_description
dct:subject	dbc:Syntax dbc:Mathematical_linguistics dbc:Automata_(computation) dbc:Grammar dbc:Mathematical_logic dbc:Formal_languages
gold:hypernym	dbr:Set
rdfs:label	Formal grammar (en) Gramàtica formal (ca) Τυπική γραμματική (el) Formální gramatika (cs) Formala gramatiko (eo) Formale Grammatik (de) Gramática formal (es) Grammatica formale (it) Grammaire formelle (fr) 형식 문법 (ko) 形式文法 (ja) Formele grammatica (nl) Gramatyka formalna (pl) Gramática formal (pt) Формальні граматики (uk) Формальная грамматика (ru) Formell grammatik (sv) 形式文法 (zh)
owl:differentFrom	dbr:Recursive_language
owl:sameAs	freebase:Formal grammar yago-res:Formal grammar wikidata:Formal grammar dbpedia-it:Formal grammar dbpedia-nl:Formal grammar dbpedia-de:Formal grammar dbpedia-fr:Formal grammar dbpedia-zh:Formal grammar dbpedia-ja:Formal grammar dbpedia-pt:Formal grammar dbpedia-es:Formal grammar dbpedia-hu:Formal grammar dbpedia-fa:Formal grammar dbpedia-ru:Formal grammar dbpedia-sv:Formal grammar dbpedia-pl:Formal grammar dbpedia-ko:Formal grammar dbpedia-el:Formal grammar dbpedia-et:Formal grammar dbpedia-ca:Formal grammar http://d-nb.info/gnd/4154991-0 dbpedia-az:Formal grammar dbpedia-bs:Formal grammar dbpedia-cs:Formal grammar dbpedia-eo:Formal grammar dbpedia-fi:Formal grammar dbpedia-gl:Formal grammar dbpedia-hr:Formal grammar dbpedia-ht:Formal grammar dbpedia-no:Formal grammar dbpedia-sh:Formal grammar dbpedia-simple:Formal grammar dbpedia-sk:Formal grammar dbpedia-sr:Formal grammar dbpedia-uk:Formal grammar dbpedia-global:Formal grammar dbr:Formal grammar
prov:wasDerivedFrom	wikipedia-en:Formal_grammar?oldid=1290102462&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Terminal_and_non-terminal_symbols_example.png
foaf:isPrimaryTopicOf	wikipedia-en:Formal_grammar
is dbo:wikiPageDisambiguates of	dbr:Formal dbr:Grammar_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Erasing_rule dbr:Erasing_Rules dbr:Start_symbol_(formal_languages) dbr:Analytic_grammar dbr:Formal_grammars dbr:Formal_syntax dbr:Grammar_(computer_science) dbr:Grammar_(formal_language_theory) dbr:Grammar_(mathematics) dbr:Grammar_formalism dbr:Rules_of_formation dbr:Sentence_symbol dbr:Sentential_form dbr:Sentential_forms
is dbo:wikiPageWikiLink of	dbr:Unparser dbr:List_of_formal_language_and_literal_string_topics dbr:Induction_of_regular_languages dbr:Integrational_linguistics dbr:Parser_combinator dbr:Forth_(programming_language) dbr:Command_(computing) dbr:Formal dbr:Systemic_functional_grammar dbr:Directive_(programming) dbr:Probabilistic_context-free_grammar dbr:Compiler dbr:Attribute_grammar dbr:Regular_grammar dbr:Tacit_knowledge dbr:Markov_algorithm dbr:Syntax_(logic) dbr:Albert_Sechehaye dbr:Expression_(mathematics) dbr:Number dbr:First-order_logic dbr:Generative_grammar dbr:Natural_language_processing dbr:Parsing_expression_grammar dbr:Parikh's_theorem dbr:ANTLR dbr:Erasing_rule dbr:Statement_(computer_science) dbr:Hindley–Milner_type_system dbr:Propositional_calculus dbr:SNOBOL dbr:Aza_Raskin dbr:C_shell dbr:Propositional_formula dbr:RCG dbr:Earley_parser dbr:Simple_LR_parser dbr:Formal_ethics dbr:Formal_semantics_(natural_language) dbr:Xrate dbr:Combinatorics dbr:Named-entity_recognition dbr:Formal_system dbr:LL_parser dbr:L-system dbr:Linear_bounded_automaton dbr:Language dbr:Lex_(software) dbr:Turing_completeness dbr:Yacc dbr:Formal_language dbr:Parsing dbr:Backus–Naur_form dbr:Copenhagen_School_(linguistics) dbr:LR_parser dbr:LALR_parser dbr:Expressive_power_(computer_science) dbr:Extended_affix_grammar dbr:Information_and_Computation dbr:Recursive_descent_parser dbr:CYK_algorithm dbr:Terminal_and_nonterminal_symbols dbr:Visual_J++ dbr:Formal_science dbr:Alphabet_(formal_languages) dbr:Compiler-compiler dbr:Lexical_analysis dbr:Fuzzing dbr:Syntactic_Structures dbr:Off-side_rule dbr:Greek_letters_used_in_mathematics,_science,_and_engineering dbr:Grammar dbr:Linguistics dbr:Noam_Chomsky dbr:Theory_of_language dbr:Production_(computer_science) dbr:Interpretation_(logic) dbr:Prefix_grammar dbr:Yoda_conditions dbr:George_Cardona dbr:Left_recursion dbr:Lexical_grammar dbr:C_(programming_language) dbr:Adriaan_van_Wijngaarden dbr:David_Rumelhart dbr:Przemysław_Prusinkiewicz dbr:ALGOL dbr:Chomsky_hierarchy dbr:Hierarchy dbr:Regular_expression dbr:Standard_Generalized_Markup_Language dbr:Augmented_transition_network dbr:Sweble dbr:Erasing_Rules dbr:Perl dbr:Context-free_grammar dbr:List_of_Indian_inventions_and_discoveries dbr:Context-sensitive_grammar dbr:RE_(complexity) dbr:Expression_templates dbr:Memoization dbr:Semi-Thue_system dbr:Grammatical_construction dbr:JavaCC dbr:Symbol_(formal) dbr:Operator-precedence_grammar dbr:Parser_Grammar_Engine dbr:Unrestricted_grammar dbr:Chomsky_normal_form dbr:Grammar_checker dbr:Patterns_in_nature dbr:History_of_compiler_construction dbr:METEO_System dbr:Formation_rule dbr:Straight-line_grammar dbr:String_grammar dbr:Structure_editor dbr:Temporal_expressions dbr:Terminal_yield dbr:PCASTL dbr:Simple_precedence_grammar dbr:Graph_rewriting dbr:Phrase_structure_grammar dbr:Matrix_grammar dbr:Deterministic_context-free_grammar dbr:Adaptive_grammar dbr:Affix_grammar dbr:JSGF dbr:Minimalist_grammar dbr:List_of_Pakistani_inventions_and_discoveries dbr:Narratology dbr:Shift-reduce_parser dbr:Language_identification_in_the_limit dbr:Formalism_(linguistics) dbr:Noncontracting_grammar dbr:ALGOL_W dbr:Linux_From_Scratch dbr:ALGOL_68 dbr:Algorithm_characterizations dbr:Canonical_LR_parser dbr:Post_canonical_system dbr:Pregroup_grammar dbr:Michael_J._Fischer dbr:Analytic dbr:Shape_grammar dbr:Synchronous_context-free_grammar dbr:Syntactic_pattern_recognition dbr:Syntactic_predicate dbr:Dynamic_epistemic_logic dbr:Boolean_grammar dbr:Language_equation dbr:Recursive_ascent_parser dbr:Recursive_grammar dbr:Recursive_transition_network dbr:Regular_tree_grammar dbr:Linda_Schmidt dbr:List_of_filename_extensions_(A–E) dbr:GenoCAD dbr:Grammar_induction dbr:Grammar_systems_theory dbr:R._Luke_DuBois dbr:James_McElvenny dbr:SLR_grammar dbr:Joyce_Friedman dbr:Top-down_parsing_language dbr:Machine_learning_in_video_games dbr:Wirth–Weber_precedence_relationship dbr:Irony_(framework) dbr:Top-down_parsing dbr:Greibach's_theorem dbr:Leftist_grammar dbr:Nissim_Francez dbr:ID/LP_grammar dbr:Grammar_(disambiguation) dbr:Olga_Fischer dbr:Timeline_of_Indian_innovation dbr:Formal_linguistics dbr:Jane_J._Robinson dbr:Two-level_grammar dbr:Start_symbol_(formal_languages) dbr:List_of_important_publications_in_theoretical_computer_science dbr:Analytic_grammar dbr:Formal_grammars dbr:Formal_syntax dbr:Grammar_(computer_science) dbr:Grammar_(formal_language_theory) dbr:Grammar_(mathematics) dbr:Grammar_formalism dbr:Rules_of_formation dbr:Sentence_symbol dbr:Sentential_form dbr:Sentential_forms
is rdfs:seeAlso of	dbr:First-order_logic
is foaf:primaryTopic of	wikipedia-en:Formal_grammar