31:59 โดยพื้นฐานแล้ว เหตุผลที่คุณสามารถแก้ปัญหานี้ได้ คือ คุณสามารถสร้างออโตมาตันจำกัดที่จดจำภาษา B ได้ เนื่องจากออโตมาตันจำกัดนั้นจะคอยติดตามความเท่าเทียมกันของจำนวน 1'sit ที่เห็นก่อนหน้านี้ มีสองสถานะ สถานะหนึ่งจำได้ว่าเคยเห็น 1 เป็นจำนวนคี่มาแล้ว และอีกสถานะหนึ่งจำได้ว่าเคยเห็น 1 เป็นจำนวนคู่มาแล้ว และนั่นจะเป็นเรื่องปกติสำหรับออโตมาตันจำกัดเหล่านี้ จะมีความเป็นไปได้หลายอย่างที่คุณอาจต้องติดตามขณะที่คุณอ่านอินพุต และจะมีสถานะที่เชื่อมโยงกับความเป็นไปได้แต่ละอย่าง ดังนั้น หากคุณกำลังออกแบบออโตมาตัน คุณต้องคิดถึงสิ่งต่างๆ ที่คุณต้องติดตามขณะที่คุณประมวลผลอินพุต และคุณจะสร้างสถานะสำหรับแต่ละความเป็นไปได้เหล่านี้41:52 แสดงออโตมาตันจำกัดเทียบเท่ากับนิพจน์ทั่วไป####[]