|
|
dADS2 dBerLog dDist dOpSys dRegAut dSoftArk dSik IntMatMod LinAlg MatMod AiBTaS AiBS dKS DB2 VM StrAlg SV P2PN |
Here are my cues made for dRegAut.I have also included all my notes I was going to put on the blackboard. I am pretty sure it is all correct, but you better check it yourself. It is listed as on the webpage when I took the course, which was like this:
Regulære udtrykEndelige automaterLukkethedsegenskaberNondeterministiske automaterMinimering af automaterBegrænsninger af regulære sprogKontekstfri grammatikker |
skelnelighed.jpg){kind=link}
| Last modified 10. October 2016 | foens@cs.au.dk |
|