Pokaż że klasa jest domknięta na przecięcie

baklazan9494 · Post autor: **baklazan9494** » 23 maja 2016, o 16:19

Cześć!
Nie wiem czy zamieszczam temat w dobrym dziale, jeśli nie to proszę o przeniesienie.

Pokaż, że klasa języków akceptowanych przez automaty skończone jest domknięta na przecięcie (czyli operację \(\displaystyle{ \cap}\)).

Jak się w ogóle za to zabrać?
Pozdrawiam

Post autor: **bartek118** » 25 maja 2016, o 16:44

Skonstruuj automat rozpoznający przekrój tych języków - nie jest to trudne.

wiedzmac · Post autor: **wiedzmac** » 25 maja 2016, o 16:49

Podpowiedź: Stanem nowego automatu będzie para stanów z poprzednich automatów.