Sistema a transizione di stati

In informatica teorica un sistema a transizione di stati è una macchina astratta usata nella teoria della computazione. In letteratura viene indicato con LTS dal nome inglese Labelled Transition System. La macchina consiste di un insieme di stati e transizioni tra gli stati, che possono essere etichettate con etichette scelte da un insieme; la stessa etichetta può apparire su più di una transizione. Se l'insieme delle etichette è composto da un solo elemento, il sistema è essenzialmente privo di etichette, e una definizione più semplice che omette le etichette è possibile.

I sistemi a transizione di stati differiscono comunque dagli automi a stati finiti in più modi:

In un sistema a transizione di stati l'insieme di stati non è necessariamente finito o numerabile.
In un sistema a transizione di stati l'insieme delle transizioni non è necessariamente finito o numerabile.

I sistemi a transizione di stati possono essere rappresentati come grafi orientati.

Definizione Formale

Formalmente, un Sistema a transizione di stati è una coppia (S, →) dove S è un insieme (di stati) e → ⊆ S×S è una relazione binaria su S (di transizioni). Se p, q ∈ S, (p, q) ∈ → è solitamente scritto come p → q. Questo rappresenta il fatto che esiste una transizione dallo stato p allo stato q.

Un sistema a transizioni etichettato è una tripla (S, Λ, →) dove S è un insieme (di stati), Λ è un insieme (di etichette) e → ⊆ S×Λ×S è una relazione ternaria (di transizioni etichettate). Se p, q ∈ S e α ∈ Λ, allora (p,α,q) ∈ → è scritto come.

p{\overset {\alpha }{\rightarrow }}q.\,

Questo rappresenta il fatto che c'è una transizione dallo stato p allo stato q con etichetta α. Una etichetta può rappresentare cose differenti a seconda del linguaggio di interesse. Usi tipici delle etichette includono il rappresentare un input atteso, condizioni che devono essere vere per attivare la transizione, o azioni effettuate durante la transizione.

Voci correlate

Controllo di autorità	GND (DE) 4329099-1

Portale Informatica

Portale Matematica

Read other articles:

Matthew Heineman

Matthew HeinemanMatthew Heineman di Sundance 2015LahirWashington, D.C.KebangsaanAmerikaAlmamaterDartmouth CollegePekerjaanPembuat filmTahun aktif2006–sekarang Matthew Heineman adalah seorang pembuat film Amerika. Ia dikenal karena menyutradarai dan memproduksi film-film dokumenter City of Ghosts (2017), Cartel Land (2015), dan Escape Fire: The Fight to Rescue American Healthcare (2012). Ia dinominasikan untuk berbagai penghargaan, termasuk sebuah penghargaan Academy dan beberapa pengh...

Caplak unggas

Argas Klasifikasi ilmiah Kerajaan: Animalia Filum: Arthropoda Kelas: Arachnida Subkelas: Acari Ordo: Ixodida Famili: Argasidae Genus: ArgasLatreille, 1795 Species lihat teks Caplak unggas adalah sejenis serangga caplak yang biasa menyerang unggas dan bergenus Argas. Pranala http://books.google.co.id/books?id=9QnxNifPCQgC&pg=PA104&lpg=PA104&dq=Caplak+Ayam&source=bl&ots=zlyg75n6L9&sig=LpzHuFgEuq1mmLKDSDNJzT1psuA&hl=en&sa=X&ei=cKOmU5G1AtWfugTV4YHACA&ved=0...

Manaslu

Manasluमनास्लुcode: ne is deprecated (Nepali)Manaslu di matahari terbitTitik tertinggiKetinggian8163Puncak3.092 m (10.144 ft)Koordinat28°32′58″N 84°33′43″E / 28.54944°N 84.56194°E / 28.54944; 84.56194Koordinat: 28°32′58″N 84°33′43″E / 28.54944°N 84.56194°E / 28.54944; 84.56194 [1]PenamaanNama terjemahanGunung Roh (Bahasa Sanskerta)GeografiLetakGorkha, Manang-Gandaki, N...

Louis Martel (homme politique, 1813-1892)

Pour les articles homonymes, voir Louis Martel et Martel. Louis Martel Fonctions Sénateur inamovible 13 décembre 1875 – 4 mars 1892(16 ans, 2 mois et 20 jours) Président du Sénat 15 janvier 1879 – 25 mai 1880(1 an, 4 mois et 10 jours) Prédécesseur Gaston d'Audiffret-Pasquier Successeur Léon Say Député du Pas-de-Calais 8 février 1871 – 8 décembre 1875(4 ans et 10 mois) Législature Assemblée nationale (1871) 31 mai 1863 – 4 septembre...

Serie A 1981-1982

Disambiguazione – Se stai cercando altri significati, vedi Serie A 1981-1982 (disambigua). Serie A 1981-1982 Competizione Serie A Sport Calcio Edizione 80ª (50ª di Serie A) Organizzatore Lega Nazionale Professionisti Date dal 13 settembre 1981al 16 maggio 1982 Luogo Italia Partecipanti 16 Formula girone unico Risultati Vincitore Juventus(20º titolo) Retrocessioni MilanBolognaComo Statistiche Miglior marcatore Roberto Pruzzo (15) Incontri disputati 240 Gol segnati...

فالدير فييرا

فالدير فييرا معلومات شخصية الميلاد 11 يوليو 1944 (العمر 79 سنة)ماريليا مركز اللعب مُدَافِع الجنسية البرازيل الفرق التي دربها سنوات فريق 1987–1988 كاراكاس 1989–1990 ديبورتيفو بيتاري [الإنجليزية]‏ 1991–1992 Blumenau Esporte Clube [الإنجليزية]‏ 1992–1994 نادي بروسكه 1994–1996 نادي ألا...

Extreme points of Eurasia

Eurasia This is a list of the extreme points of Eurasia, the points that are farther north, south, east or west than any other location on the continent. Some of these locations are open to debate, owing to the diverse definitions of Europe and Asia. Mainland Eurasia is entirely located within the northern hemisphere and mostly within the eastern hemisphere, yet it touches the western hemisphere on both extremes. Thus, both the easternmost and westernmost points of Eurasia are in the western...

Grinding Gear Games

New Zealand video game developer company Grinding Gear GamesCompany typeSubsidiaryIndustryVideo gamesFounded2006FoundersChris WilsonJonathan RogersErik OlofssonBrian WeissmanHeadquartersAuckland, New ZealandKey peopleChris Wilson (Managing Director)Jonathan Rogers (Technical Director)Erik Olofsson (Art Director)Brian Weissman (Executive Producer)ProductsPath of ExileOwnerTencent (100.0%)[1]Websitewww.grindinggear.com Grinding Gear Games (abb. GGG) is a New Zealand video game developer...

Raga language

Austronesian language spoken in VanuatuThis article should specify the language of its non-English content, using {{lang}}, {{transliteration}} for transliterated languages, and {{IPA}} for phonetic transcriptions, with an appropriate ISO 639 code. Wikipedia's multilingual support templates may also be used. See why. (July 2021)RagaHanoPronunciation[raɣa]Native toVanuatuRegionPentecost IslandNative speakers6,500 (2...

Ondo Kingdom

The article's lead section may need to be rewritten. Please help improve the lead and read the lead layout guide. (June 2021) (Learn how and when to remove this message) OndóTotal population~ 1,044,400 (2011)Regions with significant populationsOndo Kingdom - 1,044,400 · Ondo East: 88,410 · Ondo West: 335,620 · Ile Oluji-Oke igbo: 199,690 · Odigbo: 269,880 · Idanre: 150,800ReligionChristianity • Islam • Yoruba reli...

Премия «Золотой глобус» за лучшую женскую роль — драма

Премия «Золотой глобус» за лучшую женскую роль в драматическом фильме — престижная награда Голливудской ассоциации иностранной прессы, присуждаемая ежегодно с 1944 года. Первоначально категория носила название «Лучшая женская роль в художественном фильме». С 1951...

Réunion National Park

French national park in Réunion Réunion National ParkIUCN category II (national park)Show map of RéunionShow map of AfricaShow map of Indian OceanLocationRéunion (France)Western Indian OceanNearest citySaint-DenisCoordinates21°09′00″S 55°30′00″E / 21.15000°S 55.50000°E / -21.15000; 55.50000Area1,053.84 km2 (406.89 sq mi), core area876.96 km2 (338.60 sq mi), area of voluntary commitmentEstablished5 March 2007Governing&...

Европейский вал

У этого термина существуют и другие значения, см. Стена (значения). Эту страницу предлагается переименовать в «Пограничные укрепления Украины».Пояснение причин и обсуждение — на странице Википедия:К переименованию/12 апреля 2019. Пожалуйста, основывайте свои аргументы н...

منتخب أندورا لكرة القدم

منتخب أندورا لكرة القدم (بالكتالونية: selecció de futbol d'Andorra)‏ معلومات عامة بلد الرياضة أندورا الفئة كرة القدم للرجال رمز الفيفا AND الاتحاد اتحاد أندورا لكرة القدم كونفدرالية يويفا (أوروبا) الملعب الرئيسي ملعب كومونال أندورا لا فيلا الموقع الرسمي الموقع الرسمي �...

منتخب الصين لكرة القاعدة

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (يوليو 2019) هذه المقالة تحتاج للمزيد من الوصلات للمقالات الأخرى للمساعدة في ترابط مقالات الموسوعة. فضلًا ساعد في تحسي...

NEWS23

此條目或其章節有關播映中的電視節目，內容或許隨節目播出而有所更動。維基百科并非不经筛选的信息收集处。請留心記載正確資訊，在情報相對明确之後進行編輯更新。 news23类型新聞節目主演小川彩佳（日语：小川彩佳）國山哈桑（日语：国山ハセン）山本惠里伽（日语：山本恵里伽）高橋尚子星浩（日语：星浩）国家／地区日本每集长度56分鐘（每週一至週�...

Beauty and the Beast (Disney song)

1991 Disney song Beauty and the BeastSong by Angela Lansburyfrom the album Beauty and the Beast: Original Motion Picture Soundtrack ReleasedOctober 29, 1991 (1991-10-29)GenreShow tuneLength2:44LabelWalt DisneyComposer(s)Alan MenkenLyricist(s)Howard AshmanProducer(s) Howard Ashman Alan Menken Beauty and the Beast is a song written by lyricist Howard Ashman and composer Alan Menken for the Disney animated feature film Beauty and the Beast (1991). The film's theme song, the Broadw...

Währing

Wahring redirects here. For the locality in Australia, see Wahring, Victoria. 18th District of Vienna in AustriaWähring Währing (Bavarian)18th District of Vienna Coat of armsLocation of the district within ViennaWähringCoordinates: 48°13′59″N 16°18′53″E / 48.23306°N 16.31472°E / 48.23306; 16.31472Country AustriaCityViennaGovernment • District DirectorSilvia Nossek (Green) • First DeputyRobert Zöchling (Green) •&#...

Saison 2009 de la WTA

Saison 2009 de la WTA Généralités Durée de la saison Du 5 janvier 2009au 4 novembre 2009 Nombre de tournois 59 No1 mondiale en simple Serena Williams No1 mondiales en double Cara Black Liezel Huber Vainqueurs des tournois majeurs Données clés Open d'Australie Serena Williams Roland-Garros Svetlana Kuznetsova Wimbledon Serena Williams US Open Kim Clijsters Masters Serena Williams WTA Awards Joueuse de l'année Serena Williams Équipe de l'année Serena Williams Venus Williams Saison 200...

جازان (مقر الإمارة)

لمعانٍ أخرى، طالع جازان (توضيح). هذه المقالة عن محافظة جازان. للمدينة، طالع جيزان. محافظة جازان جازان محافظة علم محافظة جازانعلمOfficial seal of محافظة جازانشعار الاسم الرسمي محافظة جازان صورة لخريطة محافظة جازان نسبةً لمنطقة جازانموقع محافظة جازان نسبةً لمنطقة �...