Skip to content

Instantly share code, notes, and snippets.

View accxev's full-sized avatar
☺️

Antonia Schmalstieg accxev

☺️
View GitHub Profile

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 D6D7 44A3 6F34 2280 D70D 0C14 58F6 3180 CB1B 592A

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]