Tradução Automática de Problemas de Escalonamento Job Shop Flexível Com Bloqueio Para Autômatos Utilizando A Teoria de Controle Supervisório Documento