Hi Matthias On Tue, Sep 29, 2015 at 6:00 PM, Alexandre Duret-Lutz <adl@lrde.epita.fr> wrote:
On Tue, Sep 29, 2015 at 5:09 PM, Matthias Heizmann
Spot provides quite a number of sophisticated operations but I did not find something "simple" like an acceptance check. Have I overlooked it or is it not documented? For my purpose it is sufficient if it works on the "usual" Büchi automata.
You did not overlook anything: Spot does not export such a feature. I'll add that to the todo list.
That took 5 months to exit the todo list because it was a perfect task to give to a student in order to discover the library. Thanks to Amaury Fauchille, this is now part of Spot 1.99.9. autfilt has --accept-word=WORD and --reject-word=WORD options See the last two examples at the very bottom of https://spot.lrde.epita.fr/autfilt.html However Spot still supports only 2^AP-labeled automata, and I have no short term plans to change that. -- Alexandre Duret-Lutz