Compiler

Warum mechanische Verifikation notwendig ist

Natuerliche Sprache kennt das Konzept eines ungueltigen Satzes nicht