ADDED: Moore Machine Optimizer