Programming Language Theory Flashcard

What does it mean by the judgment dash_mathcal{r} k ParseError: Unexpected character: '' at position 1: ̲dash_mathcal{r}…, where $k$ is a basic judgment and $m a t h c a l r$ is a set of rules?

Books

Deckgeneral

Question

What does it mean by the judgment $⊢_{𝓇} k$ , where $k$ is a basic judgment and $𝓇$ is a set of rules?

Answer

What does it mean by the judgment dash_mathcal{r} k ParseError: Unexpected character: ' ' at position 1: ̲dash_mathcal{r}…, where k is a basic judgment and mathcalr is a set of rules?