Issues

• Kodierung von Zeichen in enc(M)

  knowsys/FormaleSysteme#54 · Filter by author stefborg opened on Jan 26, 2026

• visual annoyance in lecture04.tex

  knowsys/FormaleSysteme#53 · Filter by author user-g7u1ftxm8f2qna3b opened on Oct 23, 2025
  1

• TM als LBA interpretieren

  enhancement
  knowsys/FormaleSysteme#49 · Filter by author hstrass opened on Mar 16, 2022

• Herleitung/Illustration des Lemmas von Arden

  enhancement
  knowsys/FormaleSysteme#48 · Filter by author hstrass opened on Mar 16, 2022

• Skript zur VL von Christel Baier

  enhancement
  knowsys/FormaleSysteme#47 · Filter by author hstrass opened on Mar 16, 2022

• Kontextsensitive Grammatik?

  enhancement
  knowsys/FormaleSysteme#43 · Filter by author vivienne-amm opened on Dec 11, 2020
  1

• Bessere Anpassung an Vorwissen aus A&D

  enhancement
  knowsys/FormaleSysteme#31 · Filter by author mkroetzsch opened on Jan 11, 2018
  2

  

• Vorlesung 22 ist ziemlich langweilig

  enhancement
  knowsys/FormaleSysteme#30 · Filter by author mkroetzsch opened on Jan 11, 2018