___ tag123grammar ___ Eine formale Grammatik ist eine Gruppe von Produktionsregeln, die beschreiben, wie Strings gültiger Syntax gebildet werden. Formale Grammatiken werden am häufigsten verwendet, um die Syntax einer Programmiersprache zu spezifizieren.
___ qstnhdr ___ GA Grammatik Induktionsprogramm / Code?
___ answer19970469 ___
Ich denke, die Arbeit von Oscar Nierstrasz, Markus Kobel und Tudor Gîrba im Rahmen des MOOSE-Frameworks und "Agile Modeling" könnte Ausgangspunkt sein. Sie wollen Grammatiken für Programmiersprachen und ihre Dialekte ableiten und legen großen Wert darauf, dass ihre Werkzeuge in der Öffentlichkeit zugänglich gemacht werden.
___ tag123contextfreegrammar ___ In der formalen Sprachtheorie ist eine kontextfreie Grammatik (CFG) eine Grammatik, die einer besonderen Einschränkung unterliegt: dass die linke Seite (LHS) aus einem einzelnen Nicht-Terminalsymbol besteht. CFGs können den Satz von kontextfreien Sprachen (CFLs) darstellen.
___ qstntxt ___
Kennt irgendjemand ein Programm, das einen GA verwendet, um Grammatikinduktion / -schlussfolgerung durchzuführen, habe ich Tonnen von Forschungsarbeiten und Artikeln zu diesem Thema wie Lankhorst und De Pauw gelesen, aber ich kann keine Implementierungen oder Programme finden, die verwenden diese Technik überall. Jede Hilfe auf diese sehr geschätzt, Prost
___ Tag123Inferenz ___ Inferenz ist die Handlung oder der Prozess, logische Schlussfolgerungen aus Prämissen abzuleiten, von denen bekannt ist oder angenommen wird, dass sie wahr sind. Die gezogene Schlussfolgerung wird auch idiomatisch genannt. Die Gesetze gültiger Inferenz werden auf dem Gebiet der Logik studiert.
___ tag123genealgorithm ___ Ein genetischer Algorithmus (GA) ist eine Suchheuristik, die den Prozess der natürlichen Evolution nachahmt.
___