Differences

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

--- tanszek:oktatas:techcomm:bn_formulas [2025/11/25 07:45] – knehez
+++ tanszek:oktatas:techcomm:bn_formulas [2025/11/25 07:50] (current) – knehez
@@ 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
 \]
 \[