15-453 Formal Languages, Automata, and Computation

Grading:

If your solver gives correct output for all the provided benchmarks and for our secret test benchmarks, you will receive an A of some sort.
If your solver gives correct output for all the provided benchmarks, but fails one of our secret benchmarks due to a minor mistake, you will receive no lower than a B-.
If your solver gives incorrect output for the provided benchmarks, or if it fails to compile on the Andrew machines, you will receive no higher than C.
If your program has a minor mistake, we will let you correct it and resubmit.
In addition to automated testing, we will also briefly inspect your source code. Your code should readable by the TAs.
- Your program should display correctly for both a tabsize of 4 and a tabsize of 8. If you mix spaces and tabs for indentation in such a way that your program displays incorrectly, you may lose points.
- Your program does not need to commented, as long as it is reasonably clear what your code is doing. If you used the sample program skeleton, you probably don't need to add any comments if your program is otherwise well-written. If you started from scratch, a handful of high-level comments (similar to the ones in the provided skeleton) would be helpful although not strictly necessary if your program is readily understandable without them.

Submission: Create a directory named "flacproj" in your AFS home directory, and create a subdirectory named "grading" inside it. For AFS permissions, give read permission on the flacproj directory to Will Klieber and Yi Wu, and give write permission on the grading directory. (Make sure no one else has read permission except yourself.) On the Andrew machines, you can do this by copying and pasting the following to the shell:

cd ~
mkdir flacproj
fs setacl flacproj  wklieber read  yiwu read  `whoami` all  -clear
mkdir flacproj/grading
fs setacl flacproj/grading  wklieber write  yiwu write  `whoami` all  -clear

Put your solver source code in the flacproj directory. Your solver should named "solver.c", "solver.cpp", "solver.java", "solver.py", "solver.ml", or "solver.rb". We will use a script to automatically process your submission.
If you're using C, we will compile as follows: gcc solver.c -fpermissive -lm -o solver
If you're using C++, we will compile as follows: g++ solver.cpp -fpermissive -lm -o solver
If you're using Java, we will compile as follows: javac solver.java