MHB What does the following formalism mean?

  • Thread starter Thread starter exclusive
  • Start date Start date
  • Tags Tags
    Mean
Click For Summary
The discussion centers on the interpretation of a formalism related to programming languages, specifically focusing on the body of a method or function. It is noted that the body can include variable assignments or results from method calls. There is a request for further clarification on additional components of the formalism, as they are not well understood. The conversation emphasizes the importance of context for a complete understanding. Overall, the inquiry seeks to clarify the meaning and implications of the formalism in question.
exclusive
Messages
1
Reaction score
0
Hi, could you please explain to me what does the following formalisms mean?

View attachment 2414

i'm interested in the body part.

Thank you in advance.
 

Attachments

  • Sans titre.png
    Sans titre.png
    41.6 KB · Views: 94
Technology news on Phys.org
Hi, and welcome to MHB!

It looks like a formal definition of some programming language. This part shows what a method, or a function, is. The body may contain an assignment of a variable to a variable or of the result of a method call to a variable. The other two options I did not really understand; more context is needed.
 

Thread 'For those who ask: "What programming language should I learn?"'

Learn If you want to write code for Python Machine learning, AI Statistics/data analysis Scientific research Web application servers Some microcontrollers JavaScript/Node JS/TypeScript Web sites Web application servers C# Games (Unity) Consumer applications (Windows) Business applications C++ Games (Unreal Engine) Operating systems, device drivers Microcontrollers/embedded systems Consumer applications (Linux) Some more tips: Do not learn C++ (or any other dialect of C) as a...
View full post »

Similar threads

I Deductive proof in logic formal systems
  • · Replies 4 ·
Replies
4
Views
587
What does it mean that MySQL is a server application?
  • · Replies 16 ·
Replies
16
Views
3K
A What Is the Role of 'n' and the Virgule in the Wedge Product Formalism?
  • · Replies 3 ·
Replies
3
Views
2K
MHB What does it mean for G to be consistent with Q?
  • · Replies 2 ·
Replies
2
Views
2K
C/C++ Variable defined in scope gives error depending on scope
  • · Replies 13 ·
Replies
13
Views
2K
MHB Degree of Sentence in Smith's Godel Book: Explained
  • · Replies 6 ·
Replies
6
Views
2K
I What is the Definition of a Sequence in Formal Language Theory?
  • · Replies 4 ·
Replies
4
Views
2K
MHB: What Does It Mean? Solve the Mystery Now!
  • · Replies 1 ·
Replies
1
Views
1K
MHB What does the following means?
  • · Replies 2 ·
Replies
2
Views
1K
Fortran What does this Fortran Line Mean?
  • · Replies 12 ·
Replies
12
Views
3K