I hereby claim:
- I am accxev on github.
- I am accxev (https://keybase.io/accxev) on keybase.
- I have a public key whose fingerprint is D6D7 44A3 6F34 2280 D70D 0C14 58F6 3180 CB1B 592A
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
### Keybase proof | |
I hereby claim: | |
* I am accxev on github. | |
* I am accxev (https://keybase.io/accxev) on keybase. | |
* I have a public key whose fingerprint is 10D5 EE4B ACF6 3C5B BD69 D64D DB34 52AB D43E DCD6 | |
To claim this, I am signing this object: |
import qualified Data.Map as M | |
import Data.List (nub) | |
type State = String | |
type Symbol = (String, Int) | |
data TreeAutomaton = TreeAutomaton | |
{ symbols :: [Symbol] | |
, states :: [State] | |
, finalStates :: [State] |