Transition system
http://dbpedia.org/resource/Transition_system an entity of type: Thing
Přechodový systém je v teoretické informatice používaný pro studium výpočtů a chování procesů. Stroj sestává z množiny stavů a z přechodů mezi stavy. Přechodové systémy se dělí na „označené“ (labelled) a „neoznačené“ (unlabelled).
rdf:langString
En informatique théorique, un système de transition d'états est une forme de machine abstraite utilisée pour modéliser un ou des calcul(s). Un système de transition d'états est constitué d'un ensemble d'états et d'un ensemble de transitions d'un état à un autre, qui peuvent être étiquetées ; une même étiquette peut apparaître sur plusieurs transitions. Si l'ensemble des étiquettes est un singleton, on peut omettre l'étiquetage. Les systèmes d'états-transitions sont des graphes orientés.
rdf:langString
状態遷移系（じょうたいせんいけい、State Transition System）とは、理論計算機科学での計算の研究に使用される抽象機械の一種。状態遷移系は状態群と状態間の遷移から構成される。 状態と遷移が有限個の状態遷移系は有向グラフで表すことができる。 また、状態遷移系は「ラベル付き」と「ラベル無し」の2種類に分類することができる。
rdf:langString
在计算机科学和控制理论中，“变迁系统”用数学的方法描述离散系统的行为。变迁系统主要由“状态”和状态之间的“状态迁移”组成。有标号的变迁系统可以从已定义的标签集合中选择相应标签来标记状态迁移，而且相同的标签可能被应用在多个状态迁移上。变迁系统也可以是无标记的，此时也可以认为标签集合中只有单一标签元素，从而省略了状态迁移上的标签记号。 变迁系统在数学定义上和有向图一致，但与有限状态自动机有一定不同。 变迁系统的特点有：
* 系统状态的集合不一定是有限的或可数的；
* 状态迁移的集合不一定是有限的或可数的；
* 变迁系统并不需要给出“开始”状态或“最终”状态；
* 变迁系统可以表示为有向图，有限状态自动机则不能。
rdf:langString
يعرّف نظام حالة انتقال في المعلوماتية النظرية على أنه آلة افتراضية تستخدم في الاحتساب. تحتوي هذه الآلة على مجموعة من الحالات والانتقالات بين هذه الحالات، من الممكن تعريف مجموعة من العناوين وعنونة الانتقالات بها، من الممكن أن يستخدم العنوان لأكثر من انتقال واحد. لا يتم عنونة النظام في حال احتوت مجموعة العناوين على عنصر واحد فقط، ومن الممكن استخدام تعريف بسيط للنظام يتم به حذف العناوين. تتطابق أنظمة حالة انتقال رياضيات مع أنظمة إعادة الكتابة المجردة. بالمقابل فهي تختلف عن أوتومات الحالة المنتهية بعدة أمور: من الممكن تمثيل نظام حالة-انتقال كـبيان موجه.
rdf:langString
Ein Transitionssystem (englisch transition system) beschreibt in der Automatentheorie die möglichen Zustände eines zustandsbasierten Systems und die möglichen Übergänge (Transitionen) zwischen diesen Zuständen. Man unterscheidet dabei diskrete und kontinuierliche Systeme. In der Regel betrachtet man nur diskrete Systeme, da diese wesentlich leichter überprüft werden können.
rdf:langString
In theoretical computer science, a transition system is a concept used in the study of computation. It is used to describe the potential behavior of discrete systems. It consists of states and transitions between states, which may be labeled with labels chosen from a set; the same label may appear on more than one transition. If the label set is a singleton, the system is essentially unlabeled, and a simpler definition that omits the labels is possible. Transition systems can be represented as directed graphs.
rdf:langString
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.
rdf:langString
Na teoria da ciência da computação, um sistema de transição é um conceito utilizado no estudo da computação. É usado para descrever o comportamento potencial de sistemas discretos. Consiste de estados e transições entre estados, que podem ser rotuladas com etiquetas escolhidas a partir de um conjunto; o mesmo rótulo pode aparecer em mais de uma transição. Se o conjunto de rótulos é um conjunto unitário, o sistema é essencialmente sem rótulo, e uma definição mais simples que omite os rótulos é possível. Sistemas de transição podem ser representados como grafos direcionados.
rdf:langString
Модель станів і переходів — абстрактний автомат, використовується для дослідження обчислень. Модель складається із множини станів та переходів між станами. Моделі станів та переходів мають декілька відмінностей від скінченних автоматів:
* Моделі станів і переходів мають не обов'язково скінченну або зліченну кількість станів
* Моделі станів і переходів мають не обов'язково скінченну або зліченну множину переходів Моделі станів і переходів із скінченною кількістю станів та переходів можна представити у вигляді орієнтованих графів.
rdf:langString
rdf:langString
نظام حالة الانتقال
rdf:langString
Přechodový systém
rdf:langString
Transitionssystem
rdf:langString
Système de transition d'états
rdf:langString
Sistema a transizione di stati
rdf:langString
状態遷移系
rdf:langString
Sistema de Transição
rdf:langString
Transition system
rdf:langString
Модель станів і переходів
rdf:langString
变迁系统
xsd:integer
10768144
xsd:integer
1094599884
rdf:langString
Přechodový systém je v teoretické informatice používaný pro studium výpočtů a chování procesů. Stroj sestává z množiny stavů a z přechodů mezi stavy. Přechodové systémy se dělí na „označené“ (labelled) a „neoznačené“ (unlabelled).
rdf:langString
يعرّف نظام حالة انتقال في المعلوماتية النظرية على أنه آلة افتراضية تستخدم في الاحتساب. تحتوي هذه الآلة على مجموعة من الحالات والانتقالات بين هذه الحالات، من الممكن تعريف مجموعة من العناوين وعنونة الانتقالات بها، من الممكن أن يستخدم العنوان لأكثر من انتقال واحد. لا يتم عنونة النظام في حال احتوت مجموعة العناوين على عنصر واحد فقط، ومن الممكن استخدام تعريف بسيط للنظام يتم به حذف العناوين. تتطابق أنظمة حالة انتقال رياضيات مع أنظمة إعادة الكتابة المجردة. بالمقابل فهي تختلف عن أوتومات الحالة المنتهية بعدة أمور:
* ليس من الضروري أن تكون مجموعة الحالات منتهيةً، أو حتى قابلةً للعد في أنظمة حالة-انتقال.
* ليس من الضروري أن تكون مجموعة الانتقالات منتهيةً، أو حتى قابلةً للعد في أنظمة حالة-انتقال.
* في أوتومات الحالة المنتهية يتم التمييز بين حالة «بداية» وحيدة، ومجموعة من حالات «النهاية». من الممكن تمثيل نظام حالة-انتقال كـبيان موجه.
rdf:langString
Ein Transitionssystem (englisch transition system) beschreibt in der Automatentheorie die möglichen Zustände eines zustandsbasierten Systems und die möglichen Übergänge (Transitionen) zwischen diesen Zuständen. Man unterscheidet dabei diskrete und kontinuierliche Systeme. In der Regel betrachtet man nur diskrete Systeme, da diese wesentlich leichter überprüft werden können. Ferner unterscheidet man deterministische und nichtdeterministische Transitionssysteme. Im ersten Fall wird einem Zustand und einer Transition höchstens ein Folgezustand zugeordnet, während im nichtdeterministischen Fall derselbe Zustand zu einer Transition mehrere Nachfolgezustände besitzen kann. Deterministische Transitionssysteme sind in diesem Sinne Spezialfälle von nichtdeterministischen Transitionssystemen. Ein Transitionssystem kann verwendet werden, um bestimmte Eigenschaften eines zustandsbasierten Systems zu zeigen, insbesondere die Terminiertheit. Aus diesem Grund wird es zur Verifikation der Korrektheit von Algorithmen eingesetzt. Auch zum Beweis der Verklemmungsfreiheit von verteilten Systemen kann dieses Konstrukt angewendet werden.
rdf:langString
En informatique théorique, un système de transition d'états est une forme de machine abstraite utilisée pour modéliser un ou des calcul(s). Un système de transition d'états est constitué d'un ensemble d'états et d'un ensemble de transitions d'un état à un autre, qui peuvent être étiquetées ; une même étiquette peut apparaître sur plusieurs transitions. Si l'ensemble des étiquettes est un singleton, on peut omettre l'étiquetage. Les systèmes d'états-transitions sont des graphes orientés.
rdf:langString
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.
rdf:langString
In theoretical computer science, a transition system is a concept used in the study of computation. It is used to describe the potential behavior of discrete systems. It consists of states and transitions between states, which may be labeled with labels chosen from a set; the same label may appear on more than one transition. If the label set is a singleton, the system is essentially unlabeled, and a simpler definition that omits the labels is possible. Transition systems coincide mathematically with abstract rewriting systems (as explained further in this article) and directed graphs. They differ from finite-state automata in several ways:
* The set of states is not necessarily finite, or even countable.
* The set of transitions is not necessarily finite, or even countable.
* No "start" state or "final" states are given. Transition systems can be represented as directed graphs.
rdf:langString
状態遷移系（じょうたいせんいけい、State Transition System）とは、理論計算機科学での計算の研究に使用される抽象機械の一種。状態遷移系は状態群と状態間の遷移から構成される。 状態と遷移が有限個の状態遷移系は有向グラフで表すことができる。 また、状態遷移系は「ラベル付き」と「ラベル無し」の2種類に分類することができる。
rdf:langString
Na teoria da ciência da computação, um sistema de transição é um conceito utilizado no estudo da computação. É usado para descrever o comportamento potencial de sistemas discretos. Consiste de estados e transições entre estados, que podem ser rotuladas com etiquetas escolhidas a partir de um conjunto; o mesmo rótulo pode aparecer em mais de uma transição. Se o conjunto de rótulos é um conjunto unitário, o sistema é essencialmente sem rótulo, e uma definição mais simples que omite os rótulos é possível. Sistemas de transição coincidem matematicamente com sistemas de reescrita abstratos (como explicado mais adiante neste artigo) e grafos direcionados. Eles diferem de autômatos finitos em várias maneiras:
* O conjunto de estados não é necessariamente finito, ou mesmo contável.
* O conjunto de transições não é necessariamente finito, ou mesmo contável.
* Nenhum estado "inicio" ou estado "final" são dadas. Sistemas de transição podem ser representados como grafos direcionados.
rdf:langString
在计算机科学和控制理论中，“变迁系统”用数学的方法描述离散系统的行为。变迁系统主要由“状态”和状态之间的“状态迁移”组成。有标号的变迁系统可以从已定义的标签集合中选择相应标签来标记状态迁移，而且相同的标签可能被应用在多个状态迁移上。变迁系统也可以是无标记的，此时也可以认为标签集合中只有单一标签元素，从而省略了状态迁移上的标签记号。 变迁系统在数学定义上和有向图一致，但与有限状态自动机有一定不同。 变迁系统的特点有：
* 系统状态的集合不一定是有限的或可数的；
* 状态迁移的集合不一定是有限的或可数的；
* 变迁系统并不需要给出“开始”状态或“最终”状态；
* 变迁系统可以表示为有向图，有限状态自动机则不能。
rdf:langString
Модель станів і переходів — абстрактний автомат, використовується для дослідження обчислень. Модель складається із множини станів та переходів між станами. Моделі станів та переходів мають декілька відмінностей від скінченних автоматів:
* Моделі станів і переходів мають не обов'язково скінченну або зліченну кількість станів
* Моделі станів і переходів мають не обов'язково скінченну або зліченну множину переходів Моделі станів і переходів із скінченною кількістю станів та переходів можна представити у вигляді орієнтованих графів. Існує щонайменше два типи моделей станів і переходів: марковані та немарковані.
xsd:nonNegativeInteger
5944