4 ms·
>Synthesisers typically search a space of programs (a set of strings in the target language) for a program that satisfies the specification. This sounds like a
by perl4ever 5y ago
>Synthesisers typically search a space of programs (a set of strings in the target language) for a program that satisfies the specification.
This sounds like a description of a parser generator.
- YeGoblynQueenne 5y agoI don't remember how parser generators work. They might be an instance of program synthesis. But program synthesis is for arbitrary programs, not just parsers.