Exercise sessions of "Fundamentals of Computer Science" (H04H0B) together with some software to run the simulations.
Exercise sessions:
- Finite state machines and regular expressions (March 7)
- Context-free grammars (March 21)
- Turing machines (April 25)
- Graph theory (May 2)
- Computational complexity (May 9)
Tests (with solutions):
- March 28, 2014 (
toets14-1.tex, Dutch) - May 16, 2014 (todo)
Without going into detail, git is a subversioning system that allows distributed collaboration.
You can checkout a git repository by installing git:
sudo apt-get install git
Next you can clone a git repository, for instance this one by running
git clone [email protected]:KULeuven-DeptCW/FoCS-Exc.git
LaTeX is a language designed to enable a writer to generate all kinds of publications, without having to worry about the typesetting.
In order to convert the documents to a readable format, you need a LaTeX compiler:
sudo apt-get install texlive-full
You can then generate a pdf by running the LaTeX compiler.
In order to make this more convenient, a Makefile has been added to the repository. By running the following command in the directory of the repository:
make Fundamentals_of_Computer_Science/exercisesn.pdf
Exercise session n is generated. You need to replace n with a number from 1 to 5 (see list above).
In order to generate all .pdf files, run
make
We advice you to only generate files from the master branch since this branch should contain solutions who are at least finished and won't generate compile errors. Although it is still possible some solutions contain small errors (see the section about contributing).
The repository contains a small simulator for a Turing Machine as well.
You can compile the program by running the following commands:
cd Simulators
./configure
make
An executable (Simulators/Simulators/bin/Debug/Simulators.exe) will be generated. You can run the simulator using cd to move to the correct directory and then run:
mono Simulators.exe <tmfile>.tm "<inputstring>"
for example mono Simulators.exe test.tm "aaa#aa" will run a Turing Machine that calculates the addition of the two given unary numbers.
- Poster about Automata and Computability (dutch): http://willemvanonsem.ulyssis.be/posterab.pdf
- Poster about Fundamentals of Computer Science (work in progress) http://willemvanonsem.ulyssis.be/posterfocs.pdf
- Information about the course: http://onderwijsaanbod.kuleuven.be/syllabi/v/e/H04H0BE.htm
- Course website: http://people.cs.kuleuven.be/~bart.demoen/FCW/
- Automata and Computability Course website: http://people.cs.kuleuven.be/~bart.demoen/AB/
Related GitHub repositories with exercises:
- Automata and Computability: https://github.com/KULeuven-DeptCW/AaC-Exc
<img src="http://cdn.shopify.com/s/files/1/0051/4802/products/sticker-small_512x512.jpg?v=1368814207" align="left"/ width="100%" height="*">
Students are welcome to contribute to the repository themselves.
You can do so by "forking" the repository to your own GitHub-account where you can modify your version and then open a pull request to merge your changes into this repository.
Relevant contributions are rewarded by a free GitHub sticker the next exercise session.
Thanks to:
- Thomas Neven: for reporting a problem with session 1 exercise 8 (Issue #1).
FoCS-Exc by Willem Van Onsem is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
