Questions tagged [derivation]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
1answer
19 views

Variable derives itself

In Sipser's Introduction to the theory of computation (3rd edition), I found the following claim. Consider the grammar: $$ \begin{align*} &R \to XRX \mid S \\ &S \to aTb \mid bTa \\ &T \...
2
votes
1answer
26 views

When and what must be present on the left-hand side of the turnstile in metalogics?

Let me show the problem on an example... An actual task from one of the former exams: Consider a simple functional language: $$e::= x|n|e_1e_2|\lambda x.e$$ With typing rules: $$\...
0
votes
0answers
17 views

Computing analytic gradients for NN cost function with 1 hidden layer

Given a simple artificial neural network with 1 hidden layer, I want to compute the analytic gradient, to gain a better understanding. Using a simple loss function L such as: $L=(1/N)\sum_{k=1}^N|| \...
0
votes
0answers
145 views

The rightmost derivation is possible with the same rule of leftmost derivation

Can someone please help me in understanding the statement. What does it exactly mean? What I think it means is that: the derivation produces by the leftmost derivation is also possible with rightmost ...