Commit b6966b0b authored by rforder's avatar rforder
parents a027f33b a7229088
# post-dominos
A PCP interpreter. May be run with two arguments: a file name containing source code (required) and an input string to check (optional). If dominos is only run with a file name provided, it will enumerate all of the finite strings accepted by the program. Otherwise it will check if the input string is accepted by the program and, if so, will output the sequence of dominos required to construct it. See for more information.
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment