c# - turing - ¿Cuáles son algunas estrategias para probar máquinas grandes de estado?