Metasyntax (original) (raw)
In logic and computer science, a metasyntax describes the allowable structure and composition of phrases and sentences of a metalanguage, which is used to describe either a natural language or a computer programming language. Some of the widely used formal metalanguages for computer languages are Backus–Naur form (BNF), extended Backus–Naur form (EBNF), Wirth syntax notation (WSN), and augmented Backus–Naur form (ABNF).
| Property | Value |
|---|---|
| dbo:abstract | In logic and computer science, a metasyntax describes the allowable structure and composition of phrases and sentences of a metalanguage, which is used to describe either a natural language or a computer programming language. Some of the widely used formal metalanguages for computer languages are Backus–Naur form (BNF), extended Backus–Naur form (EBNF), Wirth syntax notation (WSN), and augmented Backus–Naur form (ABNF). These metalanguages have their own metasyntax each composed of terminal symbols, nonterminal symbols, and metasymbols. A terminal symbol, such as a word or a token, is a stand-alone structure in a language being defined. A nonterminal symbol represents a syntactic category, which defines one or more valid phrasal or sentence structure consisted of an n-element subset. Metasymbols provide syntactic information for denotational purposes in a given metasyntax. Terminals, nonterminals, and metasymbols do not apply across all metalanguages. Typically, the metalanguage for token-level languages (formally called "regular languages") does not have nonterminals because nesting is not an issue in these regular languages. English, as a metalanguage for describing certain languages, does not contain metasymbols since all explanation could be done using English expression. There are only certain formal metalanguages used for describing recursive languages (formally called context-free languages) that have terminals, nonterminals, and metasymbols in their metasyntax. (en) |
| dbo:wikiPageID | 352085 (xsd:integer) |
| dbo:wikiPageLength | 7976 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1082973684 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Sans-serif dbr:Metapragmatics dbr:Metasemantics dbr:Sans-serif_font dbr:Context-free_language dbr:Logic dbr:Comparison_of_parser_generators dbr:Computer_science dbr:Backus–Naur_form dbr:C_(programming_language) dbr:Ada_(programming_language) dbr:Adaptive_grammar dbr:Extended_Backus–Naur_form dbr:Nonterminal_symbol dbr:Regular_language dbr:J_(programming_language) dbr:Java_(programming_language) dbr:Terminal_symbol dbr:Syntactic dbr:Parse_tree dbr:ISO/IEC dbr:Augmented_Backus–Naur_form dbc:Metalanguages dbr:Metavariable_(logic) dbr:Metalanguage dbr:Syntactic_category dbr:Wirth_syntax_notation dbr:Natural_language dbr:Programming_language dbr:Italic_font |
| dbp:wikiPageUsesTemplate | dbt:Metasyntax dbt:! dbt:= dbt:Code dbt:Mono dbt:More_citations_needed dbt:Short_description dbt:Var |
| dct:subject | dbc:Metalanguages |
| rdf:type | yago:Abstraction100002137 yago:Communication100033020 yago:Language106282651 yago:WikicatFormalLanguages |
| rdfs:comment | In logic and computer science, a metasyntax describes the allowable structure and composition of phrases and sentences of a metalanguage, which is used to describe either a natural language or a computer programming language. Some of the widely used formal metalanguages for computer languages are Backus–Naur form (BNF), extended Backus–Naur form (EBNF), Wirth syntax notation (WSN), and augmented Backus–Naur form (ABNF). (en) |
| rdfs:label | Metasyntax (en) |
| owl:sameAs | freebase:Metasyntax yago-res:Metasyntax wikidata:Metasyntax dbpedia-hr:Metasyntax https://global.dbpedia.org/id/4s83c |
| prov:wasDerivedFrom | wikipedia-en:Metasyntax?oldid=1082973684&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Metasyntax |
| is dbo:wikiPageRedirects of | dbr:Grammar_notation |
| is dbo:wikiPageWikiLink of | dbr:Metapragmatics dbr:Metasemantics dbr:Metasyntactic_variable dbr:History_of_compiler_construction dbr:List_of_Indian_inventions_and_discoveries dbr:Index_of_philosophy_articles_(I–Q) dbr:OWS dbr:Backus–Naur_form dbr:Yacc dbr:Extended_Backus–Naur_form dbr:Syntax dbr:Metalanguage dbr:Syntax_Definition_Formalism dbr:Wirth_syntax_notation dbr:Grammar_notation |
| is gold:hypernym of | dbr:Syntax_Definition_Formalism dbr:Wirth_syntax_notation |
| is foaf:primaryTopic of | wikipedia-en:Metasyntax |