Realizar una explicación breve y clara de estos teoremas (autómatas)

http://www.subirimagenes.net/i/140510093325584111.png necesito demostrar estos teoremas relacionados con el lenguaje de aceptación de los autómatas, con una explicación clara y entendible, agradecería inmensamente su ayuda , de ante manos gracias.