מצב (מדעי המחשב)

במדעי המחשב ובתורת האוטומטים, מצבאנגלית: state) הוא תצורה (קונפיגורציה) ייחודית של נתונים במעגל דיגיטלי או בתוכנה. המונח משמש לתיאור כלל הנתונים המאוחסנים ברגע נתון בזמן, שהמעגל או התוכנה יכולים להשתמש בהם. ניתן להתייחס למצב כתמונת מצב (snapshot) של התנאים השונים המתקיימים ברגע זה במערכת.

בתורת האוטומטים

תרשים של אוטומט סופי דטרמיניסטי בעל שני מצבים: S1 ו-S2 (מצב S1 הוא מצב מקבל);
דוגמה זו מציגה אוטומט שקובע האם מספר בינארי מכיל מספר זוגי או אי-זוגי של אפסים.

בתורת האוטומטים, "מצב" מוגדר פורמלית במסגרת מודל מתמטי חישובי אבסטרקטי שנקרא אוטומט סופי (מכונת מצבים). מודל זה משמש הן בעיצוב של מעגלים דיגיטליים סדרתיים והן בעיצוב של תוכנות מחשב.

בין אם מדובר באוטומט סופי, באוטומט מחסנית או אפילו במכונת טיורינג מלאה, "מצב" הוא סט ספציפי של הוראות אשר יבוצעו בתגובה לקלט שיתקבל. ניתן לחשוב על מצב כמקבילה לזיכרון הראשי במחשב אמיתי.

בתורת האוטומטים, התנהגות המערכת היא פונקציה של: (1) הגדרת האוטומט; (2) הקלט שהאוטומט מקבל; (3) המצב הנוכחי של האוטומט.

סוגי מצבים

  • מצבים תואמים (compatible states) הם מצבים במכונת מצבים שאינם סותרים זה את זה עבור כל קלט אפשרי. כך עבור כל קלט, שני המצבים צריכים לתת את אותו הפלט, והמצב הבא שאליו עוברים משני המצבים אמור להיות זהה, או שלא אמור להיות מעבר למצב אחר. קיום מצבים תואמים הוא מיותר אם הם קיימים באותה מכונת מצבים.
  • מצבים ברי הבחנה (distinguishable states) הם מצבים במכונת מצבים שקיים עבורם לפחות רצף קלטים אחד שמביא לרצף פלטים שונה, ללא קשר למהו המצב ההתחלתי.
  • מצבים שקולים (equivalent states) הם מצבים במכונת מצבים אשר עבור כל רצף אפשרי של קלטים, יפיקו את אותו הרצף של פלטים, ללא קשר למהו המצב ההתחלתי.

בחומרה

באלקטרוניקה ספרתית, הפלט של מעגלים סדרתיים הוא פונקציה של הקלט הנוכחי וגם של היסטוריית הקלטים הקודמים. במעגלים מסוג זה, המידע מהקלטים הקודמים מאוחסן ברכיבי זיכרון אלקטרוניים כדוגמת פליפ פלופ. כלל תוכן המידע אשר מאוחסן ברגע נתון בזמן על גבי רכיבי זיכרון כאלה, הוא "המצב" של המעגל. המצב מייצג את כל המידע המזוקק לגבי העבר, שלמעגל יש גישה אליו. לדוגמה, המצב של מיקרו מעבד הוא התוכן של כל רכיבי הזיכרון במעגל המשולב, כגון זיכרון מטמון, אוגרים ודגלים.

כאשר מחשבים כמו לפטופים נכנסים למצב שינה ממושך (hibernation) על מנת לחסוך באנרגיה על ידי כיבוי המעבד, המצב של המעבד ותוכן זיכרון ה-RAM נשמרים לכונן הקשיח של המחשב, כך שניתן יהיה לשחזר אותם כאשר המחשב ייצא ממצב השינה, והמעבד יוכל להמשיך לעבוד מאותו המצב בו נעצר קודם.

מאחר שלכל רכיב זיכרון בינארי יכולים להיות רק שני מצבים אפשריים, 0 או 1, המספר הכולל של מצבים שונים שמעגל ספרתי יכול להימצא בהם הוא סופי, ומוגבל על ידי מספר רכיבי הזיכרון. אם במעגל ספרתי ישנם N רכיבי זיכרון בינאריים, למעגל יכולים להיות לכל היותר 2N מצבים שונים.

בתוכנה

באופן דומה, תוכנות מחשב שומרות נתונים בתוך משתנים המייצגים מקומות אחסון בזיכרון המחשב. התוכן של המקומות האלה בזיכרון, ברגע מסוים בזמן הריצה של התוכנית, נקרא המצב של התוכנית.

לעיתים משתמשים בהגדרה צרה יותר של המושג עבור תוכנות מחשב הפועלות בצורה סדרתית על זרמים של נתונים, כגון תוכנות לביצוע ניתוח תחבירי (parsers), חומות אש, ותוכנות הצפנה. בחלק מהתוכנות מהסוג הזה, ההיסטוריה של הקלטים הקודמים משפיעה על עיבוד הקלט הנוכחי. כלומר, ניתן למדל תוכנות אלה כמכונות מצבים. תוכנות כאלה מתוארות כ-stateful, והמשתנים אשר מכילים ערכים מהעיבוד שבוצע בשלב הקודם מהווים את "המצב" של התוכנה. קיימות תוכנות סדרתיות אחרות שהפלט שלהן תלוי רק בקלט הנוכחי; תוכנות כאלה נקראות stateless.

stateful לעומת stateless

תוכנות מחשב אשר שומרות מידע אודות המצב נקראות stateful (סטייטפוּל), ואילו תוכנות הפועלות רק על סמך הקלט הנוכחי נקראות stateless (סטייטלֵס). כמו כן, כאשר מערכת מידע או פרוטוקול תקשורת מסתמכים על מצבים, הם מתוארים כ-stateful, וכאלה שאינם מסתמכים על מצבים נקראים stateless.

לדוגמה, פרוטוקול ה-HTTP הוא stateless protocol. פרוטוקול זה אינו מספק שום אמצעי לאחסון מידע מהמשתמש בין בקשות. הפרוטוקול מטפל בכל בקשה כטרנזקציה נפרדת, שאינה קשורה לשום בקשה קודמת, כך שהתקשורת מורכבת מזוגות נפרדים של בקשות ותגובות.

Read other articles:

Boeing 757Icelandair 757-200TipePesawat jet berbadan sempitTerbang perdana19 Februari 1982StatusTidak diproduksi, status aktifPengguna utamaDelta Air LinesPengguna lainAmerican Airlines United Airlines FedEx ExpressTahun produksi1981-2004Jumlah produksi1.049 unitHarga satuan757-200: US$ 65 juta757-300: US$ 80 juta (2002)VarianBoeing C-32 Delta Air Lines Boeing 757-232 di Los Angeles International Airport. Agustus 2003. Flight deck B757-330 Boeing 757 adalah pesawat penumpang sipil jarak menen...

 

 

The Statement First UK edition (publ. Bloomsbury)AuthorBrian MooreGenreThriller novelPublisherBloomsbury (UK); E.P. Dutton (U.S.)Publication date1995 (UK); 1996 (U.S.)Preceded byLies of Silence (1990) Followed byThe Magician's Wife (1997)  The Statement (1995) is a thriller novel by Northern Irish-Canadian writer Brian Moore. Set in the south of France and Paris in the early 1990s, The Statement is the tale of Pierre Brossard, a former officer in the pro-fascist militia t...

 

 

العربية الحجازية القديمةمخطوطة القرآن بجامعة برمنغهاممنطقةالحجازالحقبةالقرن الأول للهجرةأسرة اللغاتأفريقية آسيوية ساميةغربيةوسطىعربيةالعربية الحجازية القديمةنظام الكتابةالعربية, الدادانية, اليونانيةترميز اللغةأيزو 639-3– العربية الحجازية القديمة أو لهجة قريش أو لس...

آيت سيدي مساعد تقسيم إداري البلد المغرب  الجهة درعة تافيلالت الإقليم زاكورة الدائرة أكدز الجماعة القروية تازارين المشيخة الشرفا المرابطين السكان التعداد السكاني 428 نسمة (إحصاء 2004)   • عدد الأسر 58 معلومات أخرى التوقيت ت ع م±00:00 (توقيت قياسي)[1]،  وت ع م+01:00 (توقيت ص�...

 

 

Christine Guldbrandsen(Foto: Nina Aldin Thune) Christine Guldbrandsen (* 19. März 1985 in Bergen)[1] ist eine norwegische Sängerin. Inhaltsverzeichnis 1 Leben 2 Diskografie (Alben) 3 Weblinks 4 Einzelnachweise Leben 2003 brachte sie ihr erstes Album (Surfing In The Air) heraus und erhielt unter anderem dafür den Karolineprisen zugesprochen. Es folgten 2004 und 2007 zwei weitere Alben (Moments und Christine). Beim norwegischen Vorentscheid Melodi Grand Prix 2006 setzte sie sich mit ...

 

 

2017 video game Not to be confused with Star Wars: Battlefront II (2005 video game). 2017 video gameStar Wars Battlefront IIDeveloper(s)DICE[a]Publisher(s)Electronic ArtsDirector(s)Bernd DiemerProducer(s)Paul KeslinCraig McLeodJames SaltDesigner(s)Niklas FegraeusLinus JosephsonProgrammer(s)Jonas KjellströmArtist(s)Andrew HamiltonWriter(s)Walt Williams[1]Mitch Dyer[1]Composer(s)Gordy HaabSeriesStar Wars: BattlefrontEngineFrostbite 3Platform(s)PlayStation 4WindowsXbox O...

Artikel ini membutuhkan rujukan tambahan agar kualitasnya dapat dipastikan. Mohon bantu kami mengembangkan artikel ini dengan cara menambahkan rujukan ke sumber tepercaya. Pernyataan tak bersumber bisa saja dipertentangkan dan dihapus.Cari sumber: I dengan akut Kiril – berita · surat kabar · buku · cendekiawan · JSTOR (Mei 2022) Huruf KirilI dengan akut Alfabet KirilHuruf SlaviaАА́А̀А̂А̄ӒБВГҐДЂЃЕЕ́ÈЕ̂ЁЄЖЗЗ́ЅИИ́ЍИ...

 

 

Lal JoseLahirValapad,thrissur, Kerala, IndiaTempat tinggalOttapalam, Kerala, IndiaNama lainLaluPekerjaanSutradara film, produser, distributorTahun aktif1989–sekarangSuami/istriLeena Lal Jose adalah sebuah sutradara film India dan produser yang paling dikenal karena film-film Malayalamnya. Lal Jose memulai karier filmnya sebagai asisten sutradara Kamal. Lal Jose bekerja padafilm-film Kamal pada 1990an. Debut penyutradaraannya adalah film Oru Maravathoor Kanavu (1998). Film-film po...

 

 

Bilateral relationsEuropean Union–Switzerland relations European Union Switzerland Switzerland is not a member state of the European Union (EU). It is associated with the Union through a series of bilateral treaties in which Switzerland has adopted various provisions of European Union law in order to participate in the Union's single market, without joining as a member state. Among Switzerland's neighbouring countries, all but one (the microstate Liechtenstein) are EU member states. Trade T...

St Michael's Church St Michael's Church is a Grade I listed church in Michaelston-le-Pit, in the Vale of Glamorgan, south Wales. It became a Grade I listed building on 28 January 1963.[1] The church was probably built by the Reigny family; earliest records of it date to the Taxation of Norwich in 1254, where it was referred to as St Michael de Renny and was valued at four marks.[2][3] The parish at one time consisted of the Manor of Michaelston-le-Pit and the church wa...

 

 

2016年美國總統選舉 ← 2012 2016年11月8日 2020 → 538個選舉人團席位獲勝需270票民意調查投票率55.7%[1][2] ▲ 0.8 %   获提名人 唐納·川普 希拉莉·克林頓 政党 共和黨 民主党 家鄉州 紐約州 紐約州 竞选搭档 迈克·彭斯 蒂姆·凱恩 选举人票 304[3][4][註 1] 227[5] 胜出州/省 30 + 緬-2 20 + DC 民選得票 62,984,828[6] 65,853,514[6]...

 

 

Scouting 2007 CentenaryThe badge for the 2007 Centenary, worn by Scouts around the worldCountryAll countries of the world WebsiteScouting 2007 Scouting portal The Scouting 2007 Centenary comprised celebrations around the world in which Scouts celebrated 100 years of the world Scout movement. The original celebrations were focused on the United Kingdom, such as the camp on Brownsea Island, the birthplace of Scouting, and the 21st World Scout Jamboree in Chelmsford, Essex. National Scout ...

Resources for getting products to the consumer A marketing channel consists of the people, organizations, and activities necessary to transfer the ownership of goods from the point of production to the point of consumption. It is the way products get to the end-user, the consumer; and is also known as a distribution channel.[1] A marketing channel is a useful tool for management,[2] and is crucial to creating an effective and well-planned marketing strategy.[3] Another...

 

 

Bagian dari seriIlmu Pengetahuan Formal Logika Matematika Logika matematika Statistika matematika Ilmu komputer teoretis Teori permainan Teori keputusan Ilmu aktuaria Teori informasi Teori sistem FisikalFisika Fisika klasik Fisika modern Fisika terapan Fisika komputasi Fisika atom Fisika nuklir Fisika partikel Fisika eksperimental Fisika teori Fisika benda terkondensasi Mekanika Mekanika klasik Mekanika kuantum Mekanika kontinuum Rheologi Mekanika benda padat Mekanika fluida Fisika plasma Ter...

 

 

Logo The Society of Conservative Lawyers was founded in 1947 and is an affiliate of the Conservative Party of the United Kingdom. A leading Conservative think tank, the society also provides expert legal advice to the Conservative Front Bench and hosts debates on topical issues. Since its foundation generations of Conservative candidates have been selected from the Society's ranks. Founding and history Founded in 1947, the society quickly became a leading Think Tank on law and legal issues fo...

American film and television actress This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous.Find sources: Daniella Alonso – news · newspapers · books · scholar · JSTOR (July 2023) (Learn how and when to remove this ...

 

 

PanoramaLogoStato Italia Linguaitaliano Periodicitàsettimanale Genereattualità FondatoreArnoldo Mondadori Fondazione1962 Sedevia Vittor Pisani, 28 - Milano Editore Arnoldo Mondadori Editore (1962-2018) La Verità S.r.l. (2018-oggi) Diffusione cartacea76 793 (Dati ADS, febbraio 2019) DirettoreMaurizio Belpietro ISSN0553-1098 (WC · ACNP) e 1128-3696 (WC · ACNP) Sito webpanorama.it   Modifica dati su Wikidata · Manuale Panorama è una rivista italiana settimana...

 

 

Film series based on the short story by Stephen King Children of the CornOfficial film series logoCreated byStephen KingOriginal workChildren of the Corn (1977)Films and televisionFilm(s) Children of the Corn (1984) Children of the Corn II: The Final Sacrifice Children of the Corn III: Urban Harvest Children of the Corn IV: The Gathering Children of the Corn V: Fields of Terror Children of the Corn 666: Isaac's Return Children of the Corn: Revelation Children of the Corn (2009) Children of th...

Drapeau du Tadjikistan Drapeau du Tadjikistan Utilisation Caractéristiques Proportions 1:2 Adoption 24 novembre 1992 Éléments trois bandes horizontales rouge, blanche et verte avec au centre une couronne dorée surmontée de 7 étoiles modifier  Le drapeau du Tadjikistan est le drapeau national de la république du Tadjikistan. Adopté en novembre 1992, il est le dernier de toutes les anciennes républiques soviétiques à avoir été dévoilé. Le point commun entre ce drapeau et ce...

 

 

Bahia Principe Hotels & ResortsCompany typePrivate companyIndustryHospitalityFounded1995HeadquartersPalma, SpainKey peoplePablo Piñero[1]ProductsHotels Bahia Principe Hotels & Resorts is a division of resorts owned by Grupo Piñero, established in 1995 with the opening its first hotel in the town of Rio San Juan on the northern coast of the Dominican Republic.[2][3] Overview The company currently maintains a total of 27[4] hotels & resorts in: Palm...