Differences

This shows you the differences between two versions of the page.

--- tanszek:oktatas:techcomm:bn_formulas [2025/11/17 20:17] – knehez
+++ tanszek:oktatas:techcomm:bn_formulas [2025/11/25 07:50] (current) – knehez
@@ Line 16: / Line 16: @@
 Let’s start with a few typical examples and try to generalize:
-''ABC-1234, GHT-234, HSD-333, AI-BB-654''
+''ABC-935, GHT-234, HSD-333, AI-BB-654''
 Syntax definition:
@@ Line 31: / Line 31: @@
 Let’s list a few examples and try to generalize:
-''062012345, +36301234567, 0680460046''
+''062012345, 0036701234567, +36301234567, 0680460046''
 Syntax definition:
 $$
 <phone call>::= \{<prefix>\}_0^1 <city> <customer> \\
-<prefix>::=\{+\}_0^1 36|06 \\
+<prefix>::=\{+|00\}_0^1 36|06 \\
 <city>::=\{<number>\}_1^2\\
 <customer>::=\{<number>\}_6^7\\
@@ Line 45: / Line 45: @@
 \[
-\langle \text{BN formula} \rangle ::= \langle \text{rule} \rangle
+\langle \text{BN formula} \rangle ::= \{\langle \text{rule} \rangle \}_{1}^{\infty}
 \]
 \[
@@ Line 60: / Line 60: @@
 \]
 \[
-\langle \text{factor} \rangle ::= \langle \text{identifier} \rangle \mid \langle \text{terminal\_symbol} \rangle
+\langle \text{factor} \rangle ::= \langle \text{identifier} \rangle \mid \langle \text{terminal_symbol} \rangle
 \]
 \[
-\langle \text{terminal\_symbol} \rangle ::= \left\lbrace \langle \text{character} \rangle \right\rbrace
+\langle \text{terminal_symbol} \rangle ::= \left\lbrace \langle \text{character} \rangle \right\rbrace
 \]
 \[