Aus StudiWiki

[bearbeiten] Begriffe

• Chomsky-Hierarchie
• Mehrdeutigkeit

[bearbeiten] Beispielaufgaben

• Reguläre Grammatik

[bearbeiten] Links

• Wikipedia: http://de.wikipedia.org/wiki/Theoretische_Informatik
• http://ddi.cs.uni-potsdam.de/Lehre/Theorie1/FAQ.htm
• http://www3.informatik.uni-erlangen.de/Lehre/EThInfII/SS2004/skript.html
• http://eiche.theoinf.tu-ilmenau.de/lehre/afs_ss04/
• http://eiche.theoinf.tu-ilmenau.de/lehre/afs_ss02/
• http://www.stud.tu-ilmenau.de/~cvs/goodies/cenfa.html
• http://www.stud.tu-ilmenau.de/~cvs/goodies/simxfa.html
• http://www.mathematik.uni-marburg.de/~tick/Pages/Lehre/ss04vlti.html
• exorciser
• Turingmaschinen Simulatoren:
  • http://ironphoenix.org/tril/tm/
  • http://www.iti.fh-flensburg.de/lang/theor/accept/turingsimul.htm
  • http://i10www.ira.uka.de/arbeiten/info3-animationen/Animationen/ND-Turingmaschine.swf
  • http://wap03.informatik.fh-wiesbaden.de/weber1/turing/tm.html
• Hoare Kalkuel:
  • http://www.iti.fh-flensburg.de/lang/se/correctness.htm
  • http://de.wikipedia.org/wiki/Hoare-Kalk%C3%BCl