Tolong jelaskan mengenai SDL mesin keadaan dari Mesin finite-state

Spesifikasi dan Deskripsi Bahasa adalah sebuah standar dari ITU yang menyertakan simbol grafis untuk menggambarkan tindakan dalam transisi:

mulai mesin keadaan bersamaan dengan lainnya

SDL menyematkan tipe data dasar yang disebut "Tipe Data Abstrak", bahasa tindakan, dan semantik eksekusi untuk membuat mesin status hingga dapat dieksekusi.