Differences

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

--- tanszek:oktatas:techcomm:bn_formulas [2025/11/25 07:36] – knehez
+++ tanszek:oktatas:techcomm:bn_formulas [2025/11/25 07:50] (current) – knehez
@@ Line 36: / Line 36: @@
 $$
 <phone call>::= \{<prefix>\}_0^1 <city> <customer> \\
-<prefix>::=\{+|'00'\}_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
 \]
 \[