Der vom polnisch-US-amerikanischen Mathematiker Emil Leon Post entwickelte Post-Kalkül zählt zu den Wortverarbeitenden Kalkülen. Diese beschreiben, wie durch formale Umwandlung von Zeichenketten, ein bestimmtes Ergebnis erzielt werden kann. Eine Kenntnis über die spezifischen Bedeutung der Zeichenkette ist hierbei unnötig. == Definition und F...