https://github.com/europ/vutbr-fit-tin
VUTBR - FIT: TIN 2018/2019
https://github.com/europ/vutbr-fit-tin
completeness complexity computer-science context-free decidability finite-state-automaton finite-state-machine fit formal-languages pushdown-automaton recursive recursively-enumerable reduction regular tin turing-machine vut vutbr
Last synced: 4 months ago
JSON representation
VUTBR - FIT: TIN 2018/2019
- Host: GitHub
- URL: https://github.com/europ/vutbr-fit-tin
- Owner: europ
- License: mit
- Created: 2018-10-21T16:21:40.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2019-01-13T10:51:54.000Z (over 6 years ago)
- Last Synced: 2024-12-26T10:09:55.818Z (6 months ago)
- Topics: completeness, complexity, computer-science, context-free, decidability, finite-state-automaton, finite-state-machine, fit, formal-languages, pushdown-automaton, recursive, recursively-enumerable, reduction, regular, tin, turing-machine, vut, vutbr
- Language: TeX
- Size: 13.4 MB
- Stars: 5
- Watchers: 3
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# [TIN - Theoretical Computer Science](https://www.fit.vutbr.cz/study/courses/index.php.en?id=12941)
## © Adrián Tóth
### Homework 1
* obtained points: 5.0 / 5.0
* assessment remarks: none
* [assignment](https://github.com/europ/VUTBR-FIT-TIN/blob/master/assignments/task1.pdf)
* [solution](https://github.com/europ/VUTBR-FIT-TIN/blob/master/homework1/homework1.pdf)
### Homework 2
* obtained points: 4.9 / 5.0
* assessment remarks: -0.1 for insufficient (incomplete) description in 1st task section a)
* [assignment](https://github.com/europ/VUTBR-FIT-TIN/blob/master/assignments/task2.pdf)
* [solution](https://github.com/europ/VUTBR-FIT-TIN/blob/master/homework2/homework2.pdf)
### Homework 3
* obtained points: 2.3 / 5.0
* assessment remarks: -2.7 for missing 2nd and 4th task
* [assignment](https://github.com/europ/VUTBR-FIT-TIN/blob/master/assignments/task3.pdf)
* [solution](https://github.com/europ/VUTBR-FIT-TIN/blob/master/homework3/homework3.pdf)
## Materials
The required materials, which were necessary to complete these homeworks can be found [here](https://github.com/europ/VUTBR-FIT-TIN/blob/master/other/README.md).
## Tools
Online finite state machine designer, which can be exported to LaTeX, can be found [here](http://madebyevan.com/fsm/).