Saya mau tau Alternatif semantik dari Mesin finite-state

Di Dalam kumpulan semantik ada yang lain yang tersedia untuk merepresentasikan mesin dengan state. Misalnya, ada alat untuk memodelkan dan mendesain logika untuk pengontrol tertanam. Mereka menggabungkan mesin state hierarkis (yang biasanya memiliki lebih dari satu keadaan saat ini), grafik aliran, dan tabel kebenaran ke dalam satu bahasa, menghasilkan formalisme dan himpunan semantik yang berbeda. Bagan ini dapat menjadi seperti mesin state asli Harel, mendukung keadaan bertingkat secara hierarkis, daerah ortogonal, tindakan keadaan, dan tindakan transisi.