docs(spec): allow optional numeric suffix in Name grammar (#7396)

Update the Plutus Core specification to reflect that names can include an optional numeric suffix after a dash, consisting of one or more digits. This resolves the discrepancy between the specification and the parser implementation, which already supports patterns like name-42 for representing unique name indexes.

The grammar now permits names such as x-0, name-42, and variable-12345, enabling disambiguation of variables that share the same base name. This change is purely documentation-focused and does not affect any implementation code.

Author: Unisay

doc/plutus-core-spec/untyped-grammar.tex

@@ -16,7 +16,7 @@ \subsection{Lexical grammar}
     \centering
     \[\begin{array}{lrclr}
 
-        \textrm{Name}          & n      & ::= & \texttt{[a-zA-Z][a-zA-Z0-9\_\textquotesingle]\textsuperscript{*}}   & \textrm{name}\\
+        \textrm{Name}          & n      & ::= & \texttt{[a-zA-Z][a-zA-Z0-9\_\textquotesingle]\textsuperscript{*}(-[0-9]\textsuperscript{+})?}   & \textrm{name}\\
 
         \textrm{Var}           & x      & ::= & n & \textrm{term variable}\\
         \textrm{BuiltinName}   & bn     & ::= & n & \textrm{built-in function name}\\
@@ -172,6 +172,13 @@ \subsection{Notes}
 \texttt{(lam 0 $M$)}; other variables (ie, those not appearing immediately after
 a \texttt{lam} binder) are represented by natural number greater than zero.
 
+\paragraph{Name suffixes.}
+Names may include an optional numeric suffix consisting of a dash followed by
+one or more digits (for example, \texttt{x-0}, \texttt{name-42}, or
+\texttt{variable-12345}). This suffix provides a mechanism for disambiguating
+variables that share the same base name, allowing multiple distinct variables
+with identical textual representations to coexist within a program.
+
 \paragraph{Lists in constructor and case terms.}
 The grammar defines constructor and case terms to have a variable number of
 subterms written in sequence with no delimiters. This corresponds to the

plutus-core/changelog.d/20251103_142610_Yuriy.Lazaryev_issue_7365_name_grammar_spec.md

@@ -0,0 +1,3 @@
+### Changed
+
+- Updated the Plutus Core specification to allow names with optional numeric suffixes (e.g., `name-42`) in #7396, resolving the discrepancy between the formal grammar and the parser implementation.