Palestra de divulgação: "Como Escapar de uma Masmorra"

Imagina que ficas preso numa masmorra e tens acesso a um mapa que assinala as passagens entre as diferentes celas. Apenas uma das celas te conduz à liberdade, aparecendo identificada no mapa, mas todas elas são idênticas e tu não fazes ideia em qual estás. Será possível escapares? Este cenário será o ponto de partida para falarmos de autómatos sincronizáveis e da Conjetura de Černý. Nada temam!