Büchi-Baumautomat

aus Wikipedia, der freien Enzyklopädie