Syntax Definition Formalism (original) (raw)

Property Value
dbo:abstract The Syntax Definition Formalism (SDF) is a metasyntax used to define context-free grammars: that is, a formal way to describe formal languages. It can express the entire range of context-free grammars. Its current version is SDF3. A parser and parser generator for SDF specifications are provided as part of the free . These operate using the SGLR (Scannerless GLR parser). An SDF parser outputs parse trees or, in the case of ambiguities, parse forests. (en) O Syntax Definition Formalism (SDF) é uma usada para definir gramáticas livres de contexto. Este formalismo é capaz de expressar todo o conjunto de linguagens geradas a partir de uma gramática livre de contexto. Sua versão atual é a SDF2.O ASF+SDF Meta-Environment é a ferramenta mais utilizada para a definição de linguagens utilizando o SDF, nela são disponibilizados um analisador sintático e um gerador de analisador sintático. Ambos utilizam a abordagem de um analisador sintático SGLR(Sigla para o inglês Scannerless GLR Parser) para o reconhecimento de expressões. O processo de reconhecimento terá como resultado uma árvore sintática ou, no caso da gramática conter uma floresta de árvores sintáticas. Essa floresta de árvores é um conjunto de todas as árvores sintáticas resultantes das ambigüidades encontradas durante o reconhecimento da expressão dada como entrada. (pt)
dbo:wikiPageExternalLink http://ftp.strategoxt.org/pub/stratego/docs/sdfintro.pdf http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/SdfMetz http://www.meta-environment.org/ http://gdk.sourceforge.net/ http://strategoxt.org/Spoofax http://homepages.cwi.nl/~daybuild/daily-books/learning-about/sdf/sdf.pdf
dbo:wikiPageID 12234455 (xsd:integer)
dbo:wikiPageLength 2487 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 955733351 (xsd:integer)
dbo:wikiPageWikiLink dbr:Scannerless_parsing dbr:Strafunski dbc:Programming_language_implementation dbr:Context-free_grammar dbr:GLR_parser dbc:Extensible_syntax_programming_languages dbr:Stratego/XT dbr:ANTLR dbr:Ambiguous_grammar dbr:RascalMPL dbc:Parser_generators dbr:Parse_tree dbr:Metasyntax dbr:GNU_bison dbr:ASF+SDF_Meta_Environment dbr:Parser dbr:Parser_generator
dbp:wikiPageUsesTemplate dbt:Comp-sci-stub dbt:Reflist dbt:Metasyntax_notations
dcterms:subject dbc:Programming_language_implementation dbc:Extensible_syntax_programming_languages dbc:Parser_generators
gold:hypernym dbr:Metasyntax
rdf:type yago:WikicatParserGenerators yago:Apparatus102727825 yago:Artifact100021939 yago:Equipment103294048 yago:Generator103434188 yago:Instrumentality103575240 yago:Object100002684 yago:PhysicalEntity100001930 yago:Whole100003553
rdfs:comment The Syntax Definition Formalism (SDF) is a metasyntax used to define context-free grammars: that is, a formal way to describe formal languages. It can express the entire range of context-free grammars. Its current version is SDF3. A parser and parser generator for SDF specifications are provided as part of the free . These operate using the SGLR (Scannerless GLR parser). An SDF parser outputs parse trees or, in the case of ambiguities, parse forests. (en) O Syntax Definition Formalism (SDF) é uma usada para definir gramáticas livres de contexto. Este formalismo é capaz de expressar todo o conjunto de linguagens geradas a partir de uma gramática livre de contexto. Sua versão atual é a SDF2.O ASF+SDF Meta-Environment é a ferramenta mais utilizada para a definição de linguagens utilizando o SDF, nela são disponibilizados um analisador sintático e um gerador de analisador sintático. Ambos utilizam a abordagem de um analisador sintático SGLR(Sigla para o inglês Scannerless GLR Parser) para o reconhecimento de expressões. O processo de reconhecimento terá como resultado uma árvore sintática ou, no caso da gramática conter uma floresta de árvores sintáticas. Essa floresta de árvores é um conjunto de todas as árvores sintáticas resultantes das am (pt)
rdfs:label Syntax Definition Formalism (pt) Syntax Definition Formalism (en)
owl:sameAs freebase:Syntax Definition Formalism yago-res:Syntax Definition Formalism wikidata:Syntax Definition Formalism dbpedia-no:Syntax Definition Formalism dbpedia-pt:Syntax Definition Formalism https://global.dbpedia.org/id/39sr5
prov:wasDerivedFrom wikipedia-en:Syntax_Definition_Formalism?oldid=955733351&ns=0
foaf:isPrimaryTopicOf wikipedia-en:Syntax_Definition_Formalism
is dbo:wikiPageDisambiguates of dbr:SDF
is dbo:wikiPageRedirects of dbr:Modular_Syntax_Definition_Formalism
is dbo:wikiPageWikiLink of dbr:Scannerless_parsing dbr:Parsing dbr:Comparison_of_parser_generators dbr:Language_workbench dbr:Eelco_Visser dbr:SDF dbr:SDF2 dbr:Modular_Syntax_Definition_Formalism
is foaf:primaryTopic of wikipedia-en:Syntax_Definition_Formalism