Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | NFAs with spontaneous transitions. | David A. Madore | 2016-11-23 | 3 | -16/+144 |
| | |||||
* | NFAs and determinization of them. | David A. Madore | 2016-11-23 | 3 | -15/+284 |
| | |||||
* | Trimming of incomplete DFAs. | David A. Madore | 2016-11-23 | 1 | -8/+31 |
| | |||||
* | Incomplete DFAs. Change formating of self-loops in graphs. | David A. Madore | 2016-11-23 | 6 | -42/+236 |
| | |||||
* | Accessible and inaccessible states. | David A. Madore | 2016-11-23 | 2 | -11/+73 |
| | |||||
* | More on DFAs. | David A. Madore | 2016-11-23 | 2 | -28/+131 |
| | |||||
* | Start defining DFAs, and give a first example (typeset with dot2tex + TikZ). | David A. Madore | 2016-11-14 | 2 | -9/+101 |
| | |||||
* | More clarifications on rational languages and expressions. | David A. Madore | 2016-11-14 | 1 | -8/+28 |
| | |||||
* | Mirror (=transpose) word, palindromes. | David A. Madore | 2016-11-09 | 1 | -0/+12 |
| | |||||
* | Rational languages and rational expressions. | David A. Madore | 2016-11-09 | 1 | -0/+127 |
| | |||||
* | Clarifications on Kleene's star, and the empty word. | David A. Madore | 2016-11-08 | 1 | -8/+37 |
| | |||||
* | More about languages. | David A. Madore | 2016-11-07 | 1 | -4/+106 |
| | |||||
* | Languages (start). | David A. Madore | 2016-11-07 | 1 | -5/+66 |
| | |||||
* | Concatenation, prefixes, suffixes, factors and subwords. | David A. Madore | 2016-11-07 | 1 | -0/+126 |
| | |||||
* | Start writing course notes. | David A. Madore | 2016-11-07 | 1 | -0/+198 |
| | |||||
* | Be slightly more precise on what is expected about computability. | David A. Madore | 2016-11-04 | 1 | -1/+5 |
| | |||||
* | Slight clarifications on proposed curriculum. | David A. Madore | 2016-11-04 | 1 | -6/+9 |
| | |||||
* | Fix course number. | David A. Madore | 2016-11-04 | 1 | -1/+1 |
| | |||||
* | Notes on computability. | David A. Madore | 2016-11-04 | 1 | -0/+605 |
| | |||||
* | Planned curriculum for INF105. | David A. Madore | 2016-11-04 | 2 | -0/+147 |