Add an algorithm to transform Fin-less CNF acceptance into TGBA
Assume you have an automaton with Fin-less acceptance.
- put the acceptance in CNF form:
A1 & A2 & ... & Anwhere each
Aihas the form (Inf(i1)|Inf(i2)|...)
- introduce one acceptance set Si per Ai, where Si is the union of i1, i2, ...
- set the new acceptance to
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information