Add automata data structure.
authorKim Nguyễn <kn@lri.fr>
Fri, 21 Dec 2012 13:17:02 +0000 (14:17 +0100)
committerKim Nguyễn <kn@lri.fr>
Mon, 4 Feb 2013 14:57:33 +0000 (15:57 +0100)
commitd2f5764e9f0e89f485d6237d07cbe9b04b7426ae
treef0101e0d26f2d8849589b91ba3bca042b98627ba
parente2dcfc3066d33b814d4e9724563cc5b3e696060d
Add automata data structure.
src/ata.ml [new file with mode: 0644]