German Paritätsautomat Cited by user D3rT!m on 31 Dec 2022 Der Paritätsautomat, auch Parity-Automat, ist in der Automatentheorie ein Automat, der auf unendlichen Wörtern arbeitet.
German Rabin-Automat Cited by user D3rT!m on 29 Dec 2022 Der Rabin-Automat ist eine spezielle Form des ω-Automaten. Sie sind benannt nach ihrem Erfinder Michael O.