Діаграма станів автомата

У Вікіпедії є статті про інші значення цього терміна: Діаграма станів.

Граф абстрактного автомата або діаграма станів автомата, англ. statechart) — орієнтований граф, вершинам якого відповідають стани автомата, а дугам — вхідні сигнали. Якщо вхідний сигнал x_i спричиняє перехід автомата зі стану a_j в стан a_k, то на графі цьому факту відповідає дуга, позначена символом x_i, яка з'єднує вершину a_j з a_k. Такий граф задає функцію переходів автомата. Для визначення функції виходів, дуги цього графу позначаються ще й відповідними вихідними сигналами. Визначення автомата за допомогою його графу є особливо наочним за умов невеликої кількості станів.

Діаграми Хареля

Діаграми станів Хареля (англ. David Harel^[1] стають дедалі популярнішими після того, як варіант цих діаграм став частиною Unified Modeling Language. Цей вид діаграм дозволяє моделювання надстанів, ортогональних регіонів, та діяльності як складової стану.

Класичні діаграми станів вимагають створення окремих вершин для кожної допустимої комбінації параметрів, що визначають стан. Це може призводити до необхідності введення великої кількості вершин та переходів між ними для систем складніших за найпростіші. Така складність ускладнює перегляд та розуміння діаграми. Діаграми Хареля дозволяють моделювання багатьох автоматів з перетином функцій на одній діаграмі. Кожен з відокремлених автоматів може виконувати внутрішні переходи не впливаючи на інші автомати на діаграмі. Стан кожного з відокремленого автомата на діаграмі визначає стан системи. Діаграма Хареля еквівалентна діаграмі станів але полегшує перегляд та розуміння отриманих діаграм.

Посилання

↑ David Harel, Statecharts: A visual formalism for complex systems. Science of Computer Programming [Архівовано 25 лютого 2021 у Wayback Machine.], 8(3):231-274, June 1987.

Див. також

Вікісховище має мультимедійні дані за темою: Діаграма станів автомата

Література

Hopcroft, John E.; Motwani, Rajeev; Ullman, Jeffrey D. (2001). Вступ до теорії автоматів, мов і обчислень (вид. 2nd). Addison–Wesley. с. 521.(англ.)
Роджерс Х.(інші мови). Теория рекурсивных функций и эффективная вычислимость. — М. : Мир, 1972. — 416 с.(рос.)

Це незавершена стаття з математики.
Ви можете допомогти проєкту, виправивши або дописавши її.

Read other articles:

Bachtiar Nasir

Penyuntingan Artikel oleh pengguna baru atau anonim untuk saat ini tidak diizinkan.Lihat kebijakan pelindungan dan log pelindungan untuk informasi selengkapnya. Jika Anda tidak dapat menyunting Artikel ini dan Anda ingin melakukannya, Anda dapat memohon permintaan penyuntingan, diskusikan perubahan yang ingin dilakukan di halaman pembicaraan, memohon untuk melepaskan pelindungan, masuk, atau buatlah sebuah akun. Ustadz Bachtiar Nasir, Lc. MM.Lahir26 Juni 1967 (umur 56) JakartaKebangsaanI...

Novartis

Swiss multinational pharmaceutical corporation Novartis AGHeadquarters in BaselCompany typePublic (Aktiengesellschaft)Traded as SIX: NOVN NYSE: NVS SMI component ISINCH0012005267IndustryPharmaceuticalsPredecessors Ciba-Geigy Sandoz (via merger) FoundedMarch 1996; 28 years ago (1996-03)(from merger)FoundersJohann RudolfAlexander ClavelHeadquartersBasel, Switzerland (47°34′28″N 7°34′35″E / 47.5744252°N 7.5764914°E / 47.5744252...

Thies

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Februari 2023. Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber...

Google Pixel

Halaman ini berisi artikel tentang seri produk-produk perangkat keras. Untuk telepon Pixel generasi pertama, lihat Pixel (1st generation). Google Tensor beralih ke halaman ini, yang bukan mengenai TensorFlow atau Tenor (situs web). Google PixelTampak Depan Pixel 8 Warna BiruPengembangGoogle LLCPembuatGoogle, beragamJenisTelepon pintar, tablet, laptopSistem operasiChrome OS and AndroidLayanan daringGoogle Play (2015–sekarang), Chrome Web Store (2013–kini)Situs webstore.google.com/category/...

مارغريت بكنغهام

مارغريت بكنغهام معلومات شخصية الميلاد 2 مارس 1945 (79 سنة) رومزي [لغات أخرى]‏ مواطنة فرنسا عضوة في الأكاديمية الفرنسية للعلوم، وأكاديمية أوروبيا[1]، والجمعية الملكية[2]، والأكاديمية الوطنية للعلوم الحياة العملية المدرسة الأم جامعة أكسف�...

Varghese Mathai

The native form of this personal name is Mathai Varghese. This article uses Western name order when mentioning individuals. Varghese MathaiBornIndiaAlma materIllinois Institute of Technology B.A. (1981)Massachusetts Institute of Technology Ph.D. (1986)Known forMathai-Quillen formalismT-duality in a background fluxFractional and Projective Index theoryAwardsAustralian Mathematical Society Medal[1] (2000) Fellow of the Australian Academy of Science.[2] (2011) ARC ...

Strada statale 12 var/A Variante di Mirandola

Strada statale 12 var/AVariante di MirandolaLocalizzazioneStato Italia Regioni Emilia-Romagna Province Modena DatiClassificazioneStrada statale InizioInnesto con la S.S. n. 12 (Km 209+505) in località Villafranca di Medolla FineInnesto con la rotatoria con la S.P. n. 8 e la S.C. Via per Concordia in località Mirandola Lunghezza6,816[1] km Data apertura2012 GestoreANAS Manuale La strada statale 12 var/A Variante di Mirandola (SS 12 var/A) è una strada statale italiana...

Сибирский горный козёл

Сибирский горный козёл Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:СинапсидыКла�...

Ada, Oklahoma

City in Oklahoma, United StatesAda, OklahomaCityAda City HallLocation in the state of OklahomaCoordinates: 34°45′49″N 96°40′06″W / 34.76361°N 96.66833°W / 34.76361; -96.66833CountryUnited StatesStateOklahomaCountyPontotocPost Office1891Government • TypeCity Council • MayorTre' Landrum, D.O.Area[1] • Total20.20 sq mi (52.32 km2) • Land20.14 sq mi (52.17 km2) • ...

Ewine van Dishoeck

Dutch astronomer and chemist In this Dutch name, the surname is van Dishoeck, not Dishoeck. Ewine van DishoeckEwine van Dishoeck (2014)Born (1955-06-13) 13 June 1955 (age 68)Leiden, NetherlandsSpouseTim de ZeeuwAwards Fritz Zwicky Prize for Astrophysics and Cosmology (2022) Kavli Prize for Astrophysics (2018) James Craig Watson Medal (2018) Albert Einstein World Award of Science (2015) Gothenburg Lise Meitner Prize (2014) Bourke Award (2001) Spinoza Prize (2000) Gold Medal of the Royal D...

German submarine U-1224

German World War II submarine One of the few known photos of U-1224: Japanese officers on its conning tower at the hand-over ceremony to the Imperial Japanese Navy History Nazi Germany NameU-1224 Ordered25 August 1941 BuilderDeutsche Werft, Hamburg Yard number387 Laid down30 November 1942 Launched7 July 1943 Commissioned20 October 1943 Decommissioned15 February 1944 FateTransferred to Japanese service Empire of Japan NameRo-501 Acquired15 February 1944 In service15 February 1944 FateSunk on 1...

تحتمس الرابع

تُحتمس الرابعتمثال نصفي للفرعون تحتمس الرابعفرعون مصرالحقبة1401 – 1391 ق.م أو 1397 – 1388ق.م, الأسرة الثامنة عشرسبقهأمنحتب الثانيتبعهأمنحتب الثالث الألقاب الملكية أبناءأمنحتب الثالثالأبأمنحتب الثانيالأمتياعالوفاة1391 أو 1388 ق.مالدفنالمقبرة 43 تحتمس الرابع هو ابن أمنحوتب الثاني �...

1994 United States House of Representatives elections

House elections for the 104th U.S. Congress 1994 United States House of Representatives elections ← 1992 November 8, 1994 1996 → All 435 seats in the United States House of Representatives218 seats needed for a majority Majority party Minority party Leader Bob Michel(retired) Tom Foley(lost re-election) Party Republican Democratic Leader since January 3, 1981 June 6, 1989 Leader's seat Illinois 18th Washington 5th Last election 176 ...

Myrna Melgar

American politician Myrna MelgarMember of theSan Francisco Board of Supervisorsfrom District 7IncumbentAssumed office January 8, 2021Preceded byNorman Yee Personal detailsBorn (1968-03-17) March 17, 1968 (age 56)El SalvadorNationalityAmericanPolitical partyDemocraticResidence(s)San Francisco, California, U.S.Alma materExcelsior CollegeColumbia UniversityOccupationPoliticianWebsiteBoard of Supervisors District 7 website Myrna Melgar (born March 17, 1968) is an American politician curr...

List of Jewelpet episodes

Season of television series List of Jewelpet episodesVolume 1 DVD of the First Series, showing the main heroines Rinko, Ruby, Garnet and Sapphie.No. of episodes52ReleaseOriginal networkTV Tokyo, TV OsakaOriginal releaseApril 5, 2009 (2009-04-05) –March 28, 2010 (2010-03-28)Season chronologyNext →Jewelpet Twinkle☆ Jewelpet (Japanese: ジュエルペット, Hepburn: Juerupetto) is the first Jewelpet anime series created by Sanrio and Sega and animated by Studio Comet,...

Kevin Anderson (quần vợt)

Để đọc những bài về người cùng tên, xem Kevin Anderson (định hướng). Kevin AndersonAnderson ở giải Pháp mở rộng 2021Quốc tịch Nam PhiNơi cư trúGulf Stream, Florida, U.S.Johannesburg, Nam PhiSinh18 tháng 5, 1986 (38 tuổi)Johannesburg, Nam PhiChiều cao2,03 m (6 ft 8 in)Lên chuyên nghiệp2007Giải nghệ2022Tay thuậnTay phải (trái 2 tay)Đại họcUniversity of IllinoisHuấn luyện viênDiego Moyano, Jay BosworthTi�...

Aggadah

Non-legalistic exegetical texts in the classical rabbinic literature Rabbinic literatureTalmud Readers by Adolf Behrman Talmudic literature Tannaitic Mishnah Tosefta Amoraic (Gemara) Jerusalem Talmud Babylonian Talmud Later Minor Tractates Halakhic Midrash Exodus Mekhilta of Rabbi Ishmael Mekhilta of Rabbi Shimon bar Yochai Leviticus Sifra (Torat Kohanim) Numbers and Deuteronomy Sifre Sifrei Zutta on Numbers (Mekhilta le-Sefer Devarim) Aggadic Midrash Tannaitic Seder Olam Rabbah Alphabet of R...

Definitions (Plato)

Dictionary of 184 philosophical terms Definitions The oldest, surviving manuscript of Definitions: Paris, Bibliothèque Nationale, Gr. 1807 (9th century), first pageAuthorPseudo-PlatoLanguageAncient GreekSubjectPhilosophy The Definitions (Greek: Ὅροι Horoi; Latin: Definitiones[1]) is a dictionary of 184 philosophical terms sometimes included in the corpus of Plato's works. Plato is generally not regarded as the editor of all of Definitions. Some ancient scholars attributed Defini...

Roland Barthes

Barthes redirects here. For other uses, see Barthes (disambiguation). French philosopher and essayist Roland BarthesBornRoland Gérard Barthes(1915-11-12)12 November 1915Cherbourg, FranceDied26 March 1980(1980-03-26) (aged 64)Paris, FranceEducationUniversity of Paris (BA, MA)Notable workWriting Degree Zero (1953)Mythologies (1957)The Death of the Author (1967)Era20th-century philosophyRegionWestern philosophySchoolContinental philosophyStructuralismSemioticsPost-structuralismInstitutions...

Selim Hassan

Cet article est une ébauche concernant un égyptologue. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Pour les articles homonymes, voir Hassan. Selim HassanBiographieNaissance 15 avril 1887Décès 30 septembre 1961 (à 74 ans)Nom dans la langue maternelle سليم حسنNationalité ÉgyptienneFormation Université de VienneActivités Archéologue, égyptologue, anthropologue, professeur d'universitémod...