syntactic variable
[sɪnˈtæktɪk ˈvɛriəbl]
nounpl: syntactic variables
variável sintática
1. In logic and linguistics, a symbol or placeholder that represents an arbitrary expression or element in a syntactic category, used in formal grammar and mathematical logic to denote positions that can be filled by various linguistic or mathematical expressions.
In the production rule A → x B y, the letters x and y are syntactic variables that can be replaced by any string of terminals or non-terminals.
Na regra de produção A → x B y, as letras x e y são variáveis sintáticas que podem ser substituídas por qualquer sequência de terminais ou não-terminais.
2. A metavariable used in formal systems to stand for an arbitrary formula, term, or expression within a particular syntactic category.
The syntactic variable φ in the schema ⊢ φ → φ represents any well-formed formula of the logical system.
A variável sintática φ no esquema ⊢ φ → φ representa qualquer fórmula bem formada do sistema lógico.
This is a specialized term primarily used in academic and technical fields such as formal linguistics, mathematical logic, and computer science. It is not commonly encountered in everyday Portuguese or English conversation. The term is used consistently across both Brazilian Portuguese and European Portuguese academic communities.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →