Benutzerbeiträge
Aus Byte-Welt Wiki
Zur Navigation springenZur Suche springen- 11:37, 10. Apr. 2008 (Unterschied | Versionen) (+136 Bytes) N LBA (Linear beschränkter Automat) (Die Seite wurde neu angelegt: Kategorie:Automaten_und_formale_Sprachen Ein LBA (linear beschränkter automaton) akzeptiert Worte einer kontextsensitiven Sprache.) (aktuell)
- 16:36, 2. Apr. 2008 (Unterschied | Versionen) (-6 Bytes) NFA (nichtdeterministischer endlicher Automat) (aktuell)
- 16:32, 2. Apr. 2008 (Unterschied | Versionen) (+2 Bytes) NFA (nichtdeterministischer endlicher Automat)
- 16:31, 2. Apr. 2008 (Unterschied | Versionen) (+68 Bytes) NFA (nichtdeterministischer endlicher Automat)
- 16:22, 2. Apr. 2008 (Unterschied | Versionen) (+156 Bytes) NFA (nichtdeterministischer endlicher Automat)
- 11:16, 2. Apr. 2008 (Unterschied | Versionen) (+27 Bytes) DFA (deterministischer endlicher Automat) (aktuell)
- 20:38, 1. Apr. 2008 (Unterschied | Versionen) (+65 Bytes) Java APIs
- 17:59, 30. Mär. 2008 (Unterschied | Versionen) (+249 Bytes) Kontextsensitive Sprachen (aktuell)
- 17:57, 30. Mär. 2008 (Unterschied | Versionen) (-3 Bytes) Kontextsensitive Sprachen
- 17:51, 30. Mär. 2008 (Unterschied | Versionen) (+58 Bytes) Kontextsensitive Sprachen
- 17:42, 30. Mär. 2008 (Unterschied | Versionen) (+2 Bytes) Kontextfreie Sprachen
- 17:41, 30. Mär. 2008 (Unterschied | Versionen) (+8 Bytes) Kontextfreie Sprachen
- 17:41, 30. Mär. 2008 (Unterschied | Versionen) (+454 Bytes) Kontextfreie Sprachen
- 17:16, 30. Mär. 2008 (Unterschied | Versionen) (+78 Bytes) Kontextfreie Sprachen
- 16:47, 30. Mär. 2008 (Unterschied | Versionen) (+2 Bytes) Reguläre Sprachen (aktuell)
- 16:46, 30. Mär. 2008 (Unterschied | Versionen) (+398 Bytes) Reguläre Sprachen
- 16:23, 30. Mär. 2008 (Unterschied | Versionen) (+336 Bytes) Reguläre Sprachen
- 15:37, 30. Mär. 2008 (Unterschied | Versionen) (+684 Bytes) Reguläre Sprachen
- 13:27, 25. Mär. 2008 (Unterschied | Versionen) (+167 Bytes) Kontextfreie Sprachen
- 13:25, 25. Mär. 2008 (Unterschied | Versionen) (+121 Bytes) Kontextfreie Sprachen
- 13:22, 25. Mär. 2008 (Unterschied | Versionen) (+43 Bytes) Kontextfreie Sprachen
- 13:22, 25. Mär. 2008 (Unterschied | Versionen) (+204 Bytes) Kontextfreie Sprachen
- 12:47, 25. Mär. 2008 (Unterschied | Versionen) (-9 Bytes) Reguläre Sprachen
- 12:45, 25. Mär. 2008 (Unterschied | Versionen) (+142 Bytes) Reguläre Sprachen
- 12:43, 25. Mär. 2008 (Unterschied | Versionen) (+141 Bytes) Reguläre Sprachen
- 04:32, 25. Mär. 2008 (Unterschied | Versionen) (+44 Bytes) N Kontextsensitive Sprachen (Die Seite wurde neu angelegt: Kategorie:Automaten und formale Sprachen)
- 04:31, 25. Mär. 2008 (Unterschied | Versionen) (+44 Bytes) N Kontextfreie Sprachen (Die Seite wurde neu angelegt: Kategorie:Automaten und formale Sprachen)
- 04:22, 25. Mär. 2008 (Unterschied | Versionen) (+25 Bytes) DFA (deterministischer endlicher Automat)
- 04:20, 25. Mär. 2008 (Unterschied | Versionen) (+342 Bytes) DFA (deterministischer endlicher Automat)
- 04:12, 25. Mär. 2008 (Unterschied | Versionen) (+7 Bytes) DFA (deterministischer endlicher Automat)
- 04:12, 25. Mär. 2008 (Unterschied | Versionen) (+7 Bytes) NFA (nichtdeterministischer endlicher Automat)
- 04:07, 25. Mär. 2008 (Unterschied | Versionen) (-3 Bytes) NFA (nichtdeterministischer endlicher Automat)
- 04:06, 25. Mär. 2008 (Unterschied | Versionen) (-3 Bytes) DFA (deterministischer endlicher Automat)
- 04:05, 25. Mär. 2008 (Unterschied | Versionen) (0 Bytes) DFA (deterministischer endlicher Automat)
- 04:04, 25. Mär. 2008 (Unterschied | Versionen) (+332 Bytes) NFA (nichtdeterministischer endlicher Automat)
- 04:03, 25. Mär. 2008 (Unterschied | Versionen) (0 Bytes) DFA (deterministischer endlicher Automat)
- 04:02, 25. Mär. 2008 (Unterschied | Versionen) (+317 Bytes) DFA (deterministischer endlicher Automat)
- 03:52, 25. Mär. 2008 (Unterschied | Versionen) (+176 Bytes) DFA (deterministischer endlicher Automat)
- 03:50, 25. Mär. 2008 (Unterschied | Versionen) (+44 Bytes) N NFA (nichtdeterministischer endlicher Automat) (Die Seite wurde neu angelegt: Kategorie:Automaten und formale Sprachen)
- 03:48, 25. Mär. 2008 (Unterschied | Versionen) (+44 Bytes) N DFA (deterministischer endlicher Automat) (Die Seite wurde neu angelegt: Kategorie:Automaten und formale Sprachen)
- 03:44, 25. Mär. 2008 (Unterschied | Versionen) (+7 Bytes) Reguläre Sprachen
- 03:43, 25. Mär. 2008 (Unterschied | Versionen) (+46 Bytes) Reguläre Sprachen
- 03:39, 25. Mär. 2008 (Unterschied | Versionen) (0 Bytes) Reguläre Sprachen
- 03:38, 25. Mär. 2008 (Unterschied | Versionen) (+175 Bytes) Reguläre Sprachen
- 03:18, 25. Mär. 2008 (Unterschied | Versionen) (-4 Bytes) Reguläre Sprachen
- 03:15, 25. Mär. 2008 (Unterschied | Versionen) (+4 Bytes) Reguläre Sprachen
- 03:12, 25. Mär. 2008 (Unterschied | Versionen) (+35 Bytes) Reguläre Sprachen
- 21:29, 24. Mär. 2008 (Unterschied | Versionen) (+124 Bytes) Grammatiken
- 21:22, 24. Mär. 2008 (Unterschied | Versionen) (+21 Bytes) Grammatiken
- 21:17, 24. Mär. 2008 (Unterschied | Versionen) (+75 Bytes) Grammatiken
- 20:36, 24. Mär. 2008 (Unterschied | Versionen) (+1 Byte) Grammatiken
- 20:33, 24. Mär. 2008 (Unterschied | Versionen) (+109 Bytes) Grammatiken
- 20:30, 24. Mär. 2008 (Unterschied | Versionen) (+4 Bytes) Grammatiken
- 20:30, 24. Mär. 2008 (Unterschied | Versionen) (+130 Bytes) Grammatiken
- 20:11, 24. Mär. 2008 (Unterschied | Versionen) (+140 Bytes) Grammatiken
- 18:47, 24. Mär. 2008 (Unterschied | Versionen) (+12 Bytes) Grammatiken
- 18:46, 24. Mär. 2008 (Unterschied | Versionen) (+21 Bytes) Grammatiken
- 12:18, 24. Mär. 2008 (Unterschied | Versionen) (+125 Bytes) Reguläre Sprachen
- 12:15, 24. Mär. 2008 (Unterschied | Versionen) (+46 Bytes) Reguläre Sprachen (Automaten und formale Sprachen)
- 12:14, 24. Mär. 2008 (Unterschied | Versionen) (+25 Bytes) N Reguläre Sprachen (Automaten und formale Sprachen)
- 12:02, 24. Mär. 2008 (Unterschied | Versionen) (+37 Bytes) N Kategorie:Automaten und formale Sprachen (Die Seite wurde neu angelegt: Kategorie:Theoretische_Informatik)
- 13:16, 31. Jul. 2007 (Unterschied | Versionen) (+233 Bytes) Aussagenlogik (aktuell)
- 19:24, 27. Jul. 2007 (Unterschied | Versionen) (+1 Byte) Syntax und Semantik (→Erfüllbarkeit, Gültigkeit)
- 14:34, 27. Jul. 2007 (Unterschied | Versionen) (-1 Byte) Syntax und Semantik (→Erfüllbarkeit, Gültigkeit)
- 13:42, 27. Jul. 2007 (Unterschied | Versionen) (+15 Bytes) Ableitbarkeit (aktuell)
- 13:38, 27. Jul. 2007 (Unterschied | Versionen) (+945 Bytes) Ableitbarkeit
- 09:43, 27. Jul. 2007 (Unterschied | Versionen) (+776 Bytes) N Ableitbarkeit (Die Seite wurde neu angelegt: ='''Ableitbarkeit'''= <b>Ableiten mit Abtrennungsregel</b><br/> Aus Ausdrücken der Form <math>\ H , (H \rightarrow H^* )</math> ist <math>\ H^*\ </math> ableitbar.<...)
- 08:29, 27. Jul. 2007 (Unterschied | Versionen) (+3 Bytes) Syntax und Semantik (→Semantik)
- 06:57, 27. Jul. 2007 (Unterschied | Versionen) (+33 Bytes) Syntax und Semantik (→Syntax)
- 06:50, 27. Jul. 2007 (Unterschied | Versionen) (+16 Bytes) Syntax und Semantik (→Syntax)
- 06:46, 27. Jul. 2007 (Unterschied | Versionen) (0 Bytes) Syntax und Semantik (→Semantik)
- 06:36, 27. Jul. 2007 (Unterschied | Versionen) (+909 Bytes) Syntax und Semantik (→Semantik)
- 05:55, 27. Jul. 2007 (Unterschied | Versionen) (+814 Bytes) Syntax und Semantik
- 05:24, 27. Jul. 2007 (Unterschied | Versionen) (+154 Bytes) N Benutzer:SeannWilliamScott (Die Seite wurde neu angelegt: Aussagenlogik *Syntax und Semantik *Folgern Automatentheorie Softwareentwicklungskonzepte Protokolle *OSI-7-Schichtenmodell *Aufbau von Protokollen) (aktuell)
- 22:19, 26. Jul. 2007 (Unterschied | Versionen) (+1.070 Bytes) N Syntax und Semantik (Die Seite wurde neu angelegt: ='''Syntax und Semantik im Aussagenkalkül'''= =Syntax= =Semantik= ===Erfüllbarkeit, Gültigkeit=== Sei <math>\beta \in \mathfrak{B}</math> und <math>H \in ausd...)
- 21:34, 26. Jul. 2007 (Unterschied | Versionen) (-1 Byte) Folgern
- 21:33, 26. Jul. 2007 (Unterschied | Versionen) (0 Bytes) Folgern
- 21:33, 26. Jul. 2007 (Unterschied | Versionen) (-3 Bytes) Folgern
- 21:31, 26. Jul. 2007 (Unterschied | Versionen) (+4 Bytes) Folgern
- 21:31, 26. Jul. 2007 (Unterschied | Versionen) (-3 Bytes) Folgern
- 21:30, 26. Jul. 2007 (Unterschied | Versionen) (+1 Byte) Folgern
- 21:30, 26. Jul. 2007 (Unterschied | Versionen) (+3 Bytes) Folgern
- 20:54, 26. Jul. 2007 (Unterschied | Versionen) (-2 Bytes) Folgern
- 20:51, 26. Jul. 2007 (Unterschied | Versionen) (+721 Bytes) N Folgern (Die Seite wurde neu angelegt: ='''Folgern im Aussagenkalkül'''= Es sei<math> X \subseteq ausd\ </math> * Eine Belegung <math>\beta</math> heißt Modell von<math> X \subseteq ausd\ ( \beta Mod X )...)
- 18:56, 26. Jul. 2007 (Unterschied | Versionen) (+37 Bytes) N Kategorie:Automatentheorie (Die Seite wurde neu angelegt: Kategorie:Theoretische_Informatik) (aktuell)
- 18:53, 26. Jul. 2007 (Unterschied | Versionen) (+37 Bytes) N Kategorie:Aussagenlogik (Die Seite wurde neu angelegt: Kategorie:Theoretische_Informatik) (aktuell)
- 18:45, 26. Jul. 2007 (Unterschied | Versionen) (+37 Bytes) N Aussagenlogik (Die Seite wurde neu angelegt: Kategorie:Theoretische_Informatik)