https://github.com/jaxan/nominal-lstar
Code for "Learning nominal automata"
https://github.com/jaxan/nominal-lstar
automata haskell machine-learning nlambda paper regular-languages
Last synced: 10 months ago
JSON representation
Code for "Learning nominal automata"
- Host: GitHub
- URL: https://github.com/jaxan/nominal-lstar
- Owner: Jaxan
- Created: 2016-10-07T09:50:56.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2023-07-12T19:33:41.000Z (over 2 years ago)
- Last Synced: 2023-07-12T20:29:37.611Z (over 2 years ago)
- Topics: automata, haskell, machine-learning, nlambda, paper, regular-languages
- Language: Haskell
- Size: 156 KB
- Stars: 10
- Watchers: 5
- Forks: 0
- Open Issues: 0