hledat
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
| Obě strany předchozí revize Předchozí verze | Následující verze Obě strany příští revize | ||
|
mgr-szz:in-pos:10-pos [2019/06/11 15:29] lachmanfrantisek omega-regulární jazyky |
mgr-szz:in-pos:10-pos [2019/06/15 09:00] lachmanfrantisek |
||
|---|---|---|---|
| Řádek 59: | Řádek 59: | ||
| * má: <math>w \vDash \phi</math> | * má: <math>w \vDash \phi</math> | ||
| * nemá: <math>w \nvDash \phi</math> | * nemá: <math>w \nvDash \phi</math> | ||
| - | * <math>L(\phi) := \lbrace w \in \Sigma^{\star} | w \nvDash \phi \rbrace </math> | + | * <math>L(\phi) := \lbrace w \in \Sigma^{\star} | w \vDash \phi \rbrace </math> |
