LARA This is an old revision of the document! Determinization of finite state machine For every finite state machine there exists a deterministic finite state machine that accepts the same language. This machine is given by where .