MHB What does the following formalism mean?

  • Thread starter Thread starter exclusive
  • Start date Start date
  • Tags Tags
    Mean
AI Thread 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: 92
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 'Star maps using Blender'

Thread 'Star maps using Blender'

Blender just recently dropped a new version, 4.5(with 5.0 on the horizon), and within it was a new feature for which I immediately thought of a use for. The new feature was a .csv importer for Geometry nodes. Geometry nodes are a method of modelling that uses a node tree to create 3D models which offers more flexibility than straight modeling does. The .csv importer node allows you to bring in a .csv file and use the data in it to control aspects of your model. So for example, if you...
View full post »

Similar threads

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

Hot Threads

Recent Insights

Back
Top