Tools & Resources

Please use the Piazza tool for asking and answering questions outside of class!

Assignment submissions: Gradescope

Please use the Gradescope tool for submitting and receiving feedback on your written assignments and exams.

For each Gradescope submission, be sure your:

Submission is typed or written neatly (with ample white-space and no scratching out, etc.).
Submission is a pdf.
Submission follows the Gradescope scanning recommendations to ensure the scan is high quality.
Questions are outlined/marked correctly from the gradescope submission.

Please use the JFLAP tool for submitting any DFA, NFA or PDAs.

For each JFLAP submission, be sure to:

Refer to DFA/NFA instructions or PDA instructions to build the machine.
Designate a start state.
Designate accept state(s).
Properly create transitions with multiple symbols:
- use the arrow tool to enter each symbol
- if done correctly, the symbols appear stacked like this:

Properly create an empty transition:
- use the arrow tool and hit return/enter without typing any text
- if done correctly, a lambda (λ) symbol should appear like this:

Running JFLAP for the first time

You may encounter a security block. To fix it:

Go to your System Preferences, Security & Privacy
At the bottom, you should see something like "CS311-JFLAP.jar" was blocked from opening because it is not from an identified developer.
Click the Open Anyway button and the subsequent Open button to run the application

OR

Use the command line to run the following command:

java -jar CS311-JFLAP.jar

Additional Resources

Check out The Incredible Proof Machine for an interactive interface that helps to practice formal logic for proofs!

http://turingmachine.io Turing machine simulator

Theory of Computation in unexpected places!