summaryrefslogtreecommitdiff
path: root/doc/tutorial
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2006-01-05 20:35:22 +0000
committerbringert <bringert@cs.chalmers.se>2006-01-05 20:35:22 +0000
commitdc3f7e1d61d56ff1ac5bf3f6db5f3757e8c1a63c (patch)
tree1d7c066d0f50fc017eca6487513f6d0facf8693f /doc/tutorial
parent7faaa9772b8fc3d358c472e0a8620d4cff6adcc4 (diff)
Generate monolithic FAs by expanding an MFA.
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions