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/ http://languagemachine.sourceforge.net/picturebook.html
dbo:wikiPageWikiLink	dbr:Pāṇini dbr:Semantics dbr:Parse_tree dbr:Recursion_(computer_science) dbr:Production_(computer_science) dbr:Adaptive_grammar dbr:Deep_structure_and_surface_structure dbr:Parsing_expression_grammar dbr:Syntax dbc:Automata_(computation) dbr:Post_canonical_system dbc:Syntax dbr:Alphabet dbr:Compiler dbr:Linguistics dbr:Mathematical_logic dbr:Noam_Chomsky dbr:Programming_language dbr:Sanskrit dbr:Theoretical_computer_science dbr:Turing_machine dbr:Abstract_syntax_tree dbr:L-system dbr:Formal_language dbr:Applied_mathematics dbr:Automata_theory dbr:Generative_grammar dbr:Lojban dbr:Set_(mathematics) dbr:Big_O_notation dbr:Finite-state_machine dbr:Regular_expression dbr:Union_(set_theory) dbr:Semi-Thue_system dbr:Left_recursion dbr:Backus–Naur_form dbr:Syntactic_sugar dbr:Tree-adjoining_grammar dbr:Disjoint_sets dbr:Theoretical_linguistics dbr:Regular_language dbr:Attribute_grammar dbr:Context-free_language dbr:LL_parser dbr:Chomsky_hierarchy dbr:Parsing dbr:Tuple dbr:Unrestricted_grammar dbr:Regular_grammar dbr:Empty_string dbr:Link_grammar dbc:Formal_languages dbr:Pumping_lemma_for_context-free_languages dbr:Context-free_grammar dbr:Phrase_structure_grammar dbc:Grammar dbr:Categorial_grammar dbr:Ambiguous_grammar dbr:Deterministic_context-free_language dbr:Well-formed_formula dbr:Earley_parser dbr:Shape_grammar dbr:Kleene_star dbr:LR_parser dbr:Set-builder_notation dbr:Extended_Backus–Naur_form dbc:Mathematical_logic dbr:Top-down_parsing dbr:Affix_grammar dbr:Reflexive_transitive_closure dbr:Concrete_syntax_tree dbr:Top-down_parsing_language dbr:Formal_semantics_(logic) dbr:Nonterminal_symbol dbr:Terminal_symbol dbr:Expressivity_(computer_science) dbr:Recognizer dbr:Grammar_framework dbr:Compositional_semantics dbr:Parsing_algorithm dbr:Rewriting_system dbr:Okoye_hierarchy
dbp:wikiPageUsesTemplate	dbt:Formal_languages dbt:Formal_languages_and_grammars dbt:Mathematical_logic dbt:Anchor dbt:Authority_control dbt:Columns-list dbt:Distinguish dbt:Div_col dbt:Div_col_end dbt:Main dbt:Mvar dbt:Not_a_typo dbt:Reflist dbt:Short_description
dct:subject	dbc:Automata_(computation) dbc:Syntax dbc:Formal_languages dbc:Grammar dbc:Mathematical_logic dbc:Mathematical_linguistics
gold:hypernym	dbr:Set
rdf:type	owl:Thing owl:Thing
rdfs:label	Formal grammar (en) Gramàtica formal (ca) Formální gramatika (cs) Τυπική γραμματική (el) 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) Formell grammatik (sv) Формальная грамматика (ru) 形式文法 (zh)
owl:differentFrom	dbr:Recursive_language
owl:sameAs	yago-res:Formal grammar freebase:Formal grammar wikidata:Formal grammar dbpedia-de:Formal grammar dbpedia-es:Formal grammar dbpedia-it:Formal grammar dbpedia-nl:Formal grammar dbpedia-pl:Formal grammar dbpedia-fr:Formal grammar dbpedia-hu:Formal grammar dbpedia-ja:Formal grammar dbpedia-pt:Formal grammar dbpedia-ru:Formal grammar dbpedia-zh:Formal grammar dbpedia-sv:Formal grammar dbpedia-el:Formal grammar dbpedia-ko:Formal grammar dbpedia-ca:Formal grammar dbpedia-et: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-fa: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
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: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:Erasing_Rules dbr:Rules_of_formation dbr:Sentence_symbol dbr:Sentential_form dbr:Sentential_forms
is dbo:wikiPageWikiLink of	dbr:Memoization dbr:JSGF dbr:ALGOL_W dbr:Combinatorics dbr:Tacit_knowledge dbr:Terminal_and_nonterminal_symbols dbr:Production_(computer_science) dbr:RCG dbr:Adaptive_grammar dbr:Formation_rule dbr:Erasing_rule dbr:Formal_linguistics dbr:Language dbr:Formal_semantics_(natural_language) dbr:Parsing_expression_grammar dbr:Augmented_transition_network dbr:Interpretation_(logic) dbr:Parser_combinator dbr:Linear_bounded_automaton dbr:Post_canonical_system dbr:ALGOL_68 dbr:Adriaan_van_Wijngaarden dbr:C_(programming_language) dbr:Compiler dbr:Grammar dbr:Linguistics dbr:Noam_Chomsky dbr:Perl dbr:Visual_J++ dbr:SNOBOL dbr:Natural_language_processing dbr:Formal_system dbr:LALR_parser dbr:Alphabet_(formal_languages) dbr:Expression_templates dbr:Command_(computing) dbr:L-system dbr:C_shell dbr:Formal_language dbr:Forth_(programming_language) dbr:Greibach's_theorem dbr:Michael_J._Fischer dbr:Number dbr:Propositional_calculus dbr:Propositional_formula dbr:Hindley–Milner_type_system dbr:Patterns_in_nature dbr:Named-entity_recognition dbr:Recursive_transition_network dbr:Regular_tree_grammar dbr:Statement_(computer_science) dbr:Expression_(mathematics) dbr:Language_equation dbr:Copenhagen_School_(linguistics) dbr:Grammatical_construction dbr:Grammar_induction dbr:Greek_letters_used_in_mathematics,_science,_and_engineering dbr:Lex_(software) dbr:Formal_science dbr:Pregroup_grammar dbr:Shift-reduce_parser dbr:Xrate dbr:Generative_grammar dbr:Narratology dbr:Regular_expression dbr:Unparser dbr:Semi-Thue_system dbr:Grammar_checker dbr:George_Cardona dbr:Left_recursion dbr:Systemic_functional_grammar dbr:Formalism_(linguistics) dbr:Machine_learning_in_video_games dbr:Markov_algorithm dbr:Albert_Sechehaye dbr:Aza_Raskin dbr:Backus–Naur_form dbr:CYK_algorithm dbr:David_Rumelhart dbr:Nissim_Francez dbr:Off-side_rule dbr:Przemysław_Prusinkiewicz dbr:Standard_Generalized_Markup_Language dbr:Linux_From_Scratch dbr:Turing_completeness dbr:GenoCAD dbr:ID/LP_grammar dbr:Simple_LR_parser dbr:Canonical_LR_parser dbr:Lexical_analysis dbr:Fuzzing dbr:PCASTL dbr:Attribute_grammar dbr:Formal dbr:LL_parser dbr:Analytic dbr:Expressive_power_(computer_science) dbr:Extended_affix_grammar dbr:Lexical_grammar dbr:ALGOL dbr:First-order_logic dbr:Chomsky_hierarchy dbr:Hierarchy dbr:Parsing dbr:Unrestricted_grammar dbr:Regular_grammar dbr:List_of_Indian_inventions_and_discoveries dbr:List_of_Pakistani_inventions_and_discoveries dbr:Induction_of_regular_languages dbr:Dynamic_epistemic_logic dbr:Probabilistic_context-free_grammar dbr:Matrix_grammar dbr:Straight-line_grammar dbr:String_grammar dbr:ANTLR dbr:Context-free_grammar dbr:Phrase_structure_grammar dbr:Deterministic_context-free_grammar dbr:Joyce_Friedman dbr:Symbol_(formal) dbr:Syntax_(logic) dbr:Grammar_systems_theory dbr:Directive_(programming) dbr:Olga_Fischer dbr:Yoda_conditions dbr:Earley_parser dbr:Recursive_descent_parser dbr:Shape_grammar dbr:Yacc dbr:Chomsky_normal_form dbr:Compiler-compiler dbr:Syntactic_Structures dbr:Graph_rewriting dbr:JavaCC dbr:LR_parser dbr:Parser_Grammar_Engine dbr:R._Luke_DuBois dbr:Theory_of_language dbr:Information_and_Computation dbr:Parikh's_theorem dbr:Context-sensitive_grammar dbr:RE_(complexity) dbr:Prefix_grammar dbr:Operator-precedence_grammar dbr:List_of_formal_language_and_literal_string_topics dbr:Algorithm_characterizations dbr:METEO_System dbr:History_of_compiler_construction dbr:List_of_filename_extensions_(A–E) dbr:Minimalist_grammar dbr:Formal_ethics dbr:SLR_grammar dbr:Boolean_grammar dbr:Timeline_of_Indian_innovation dbr:Synchronous_context-free_grammar dbr:Syntactic_pattern_recognition dbr:Integrational_linguistics dbr:Grammar_(disambiguation) dbr:Simple_precedence_grammar dbr:Temporal_expressions dbr:Terminal_yield dbr:Jane_J._Robinson dbr:Structure_editor dbr:Syntactic_predicate dbr:Noncontracting_grammar dbr:Irony_(framework) dbr:Linda_Schmidt dbr:Leftist_grammar dbr:Recursive_ascent_parser dbr:Recursive_grammar dbr:Top-down_parsing dbr:Language_identification_in_the_limit dbr:Affix_grammar dbr:James_McElvenny dbr:Wirth–Weber_precedence_relationship dbr:List_of_important_publications_in_theoretical_computer_science dbr:Start_symbol_(formal_languages) dbr:Top-down_parsing_language dbr:Sweble dbr:Two-level_grammar 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:Erasing_Rules 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