Datei:KripkeStructureExample.svg
Größe der PNG-Vorschau dieser SVG-Datei: 373 × 325 Pixel. Weitere aus SVG automatisch erzeugte PNG-Grafiken in verschiedenen Auflösungen: 276 × 240 Pixel | 551 × 480 Pixel | 882 × 768 Pixel | 1.175 × 1.024 Pixel | 2.351 × 2.048 Pixel
Originaldatei (SVG-Datei, Basisgröße: 373 × 325 Pixel, Dateigröße: 2 KB)
Diese Datei und die Informationen unter dem roten Trennstrich werden aus dem zentralen Medienarchiv Wikimedia Commons eingebunden.
Beschreibung
| Beschreibung | An example of a Kripke structure. Created using Finite State Machine Designer by Evan Wallace. |
| Datum | April 2011 |
| Quelle |
|
| Urheber |
|
JSON code for Finite State Machine Designer
{
"nodes": [
{
"x": 135,
"y": 133,
"text": "",
"isAcceptState": false,
"textOnly": false
},
{
"x": 135,
"y": 115,
"text": "S_1",
"isAcceptState": false,
"textOnly": true
},
{
"x": 135,
"y": 148,
"text": "{p, q}",
"isAcceptState": false,
"textOnly": true
},
{
"x": 388,
"y": 133,
"text": "",
"isAcceptState": false,
"textOnly": false
},
{
"x": 388,
"y": 115,
"text": "S_2",
"isAcceptState": false,
"textOnly": true
},
{
"x": 388,
"y": 148,
"text": "{q}",
"isAcceptState": false,
"textOnly": true
},
{
"x": 262,
"y": 278,
"text": "",
"isAcceptState": false,
"textOnly": false
},
{
"x": 262,
"y": 259,
"text": "S_3",
"isAcceptState": false,
"textOnly": true
},
{
"x": 262,
"y": 289,
"text": "{p}",
"isAcceptState": false,
"textOnly": true
}
],
"links": [
{
"type": "StartLink",
"node": 0,
"text": "",
"deltaX": -68,
"deltaY": -84
},
{
"type": "Link",
"nodeA": 3,
"nodeB": 0,
"text": "",
"lineAngleAdjust": 0,
"parallelPart": 0.4624505928853755,
"perpendicularPart": 22
},
{
"type": "Link",
"nodeA": 0,
"nodeB": 3,
"text": "",
"lineAngleAdjust": 0,
"parallelPart": 0.5731225296442688,
"perpendicularPart": 17
},
{
"type": "Link",
"nodeA": 3,
"nodeB": 6,
"text": "",
"lineAngleAdjust": 0,
"parallelPart": 0.5,
"perpendicularPart": 0
},
{
"type": "SelfLink",
"node": 6,
"text": "",
"anchorAngle": 2.2559124078897055
}
],
"nodeRadius": 48
}
Lizenz
Ich, der Urheber dieses Werkes, veröffentliche es unter der folgenden Lizenz:
Diese Datei ist unter der Creative-Commons-Lizenz „Namensnennung 3.0 nicht portiert“ lizenziert.
- Dieses Werk darf von dir
- verbreitet werden – vervielfältigt, verbreitet und öffentlich zugänglich gemacht werden
- neu zusammengestellt werden – abgewandelt und bearbeitet werden
- Zu den folgenden Bedingungen:
- Namensnennung – Du musst angemessene Urheber- und Rechteangaben machen, einen Link zur Lizenz beifügen und angeben, ob Änderungen vorgenommen wurden. Diese Angaben dürfen in jeder angemessenen Art und Weise gemacht werden, allerdings nicht so, dass der Eindruck entsteht, der Lizenzgeber unterstütze gerade dich oder deine Nutzung besonders.
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
| Version vom | Vorschaubild | Maße | Benutzer | Kommentar | |
|---|---|---|---|---|---|
| aktuell | 01:08, 5. Feb. 2024 | | 373 × 325 (2 KB) | Ixfd64 | cleaner version, smaller file size |
| 18:46, 30. Apr. 2011 |  | 513 × 369 (4 KB) | Ashutosh y0078 | ~~~~ |
Dateiverwendung
Keine Seiten verwenden diese Datei.
Globale Dateiverwendung
Die nachfolgenden anderen Wikis verwenden diese Datei:
- Verwendung auf en.wikipedia.org
- Verwendung auf he.wikipedia.org
