German Reduktion (theoretische Informatik) Cited by user 2A02:1210:7E3A:B200:D082:E64D:B90F:AD5B on 18 Nov 2023 Die Reduktion ist eine Methode der theoretischen Informatik, bei der ein Problem auf ein anderes zurückgeführt wird.
German Transitionsrelation Cited by user Zahnradzacken on 27 Aug 2011 Eine Transitionsrelation (auch Übergangsrelation) ist in der Informatik eine Relation, die mögliche Übergänge beschreibt.
Russian Звезда Клини Cited by user Avosco on 16 Jan 2009 Звезда́ Кли́ни (или замыка́ние Кли́ни) в математической логике и информатике — унарная операция над множеством строк либо символов.
German Formale Grammatik Cited by user Stephan Kulla on 13 Apr 2008 Formale Grammatiken sind mathematische Modelle von Grammatiken, die zur eindeutigen Erzeugung und Beschreibung formaler Sprachen dienen.