|
|
|
|
|
|
by skydhash
3 days ago
|
|
|
> In HCI, computer interfaces can be referred as languages as they come with their own affordances and symbolism that is not directly associated with real life: There's always jargon and other token words that holds no meaning in other realm of life. Even the alphabet today is mostly arbitrary gliphs. > Grammars are composed of words, which in turn, are composed of elements of the alphabet set. Please refer to the formal definition found in wikipedia https://en.wikipedia.org/wiki/Context-free_grammar#Formal_de... > There are more innacuracies (physical computers being stricly deterministic, needing binary to accomplish inference, etc.), I've not said anything about computers being strictly deterministic. And everything is binary at the CPU/GPU level. Even with specialized instructions, you still need to organize them into a proper algorithm and encode it and its data to binary. |
|
|
Sure, but this is a discussion focused on how humans interact with computers, ergo Human-Computer Interactions, so I'm not sure what's your point. In the end, you don't interact with your computer (in the physical sense) through a 2-key keyboard.
> Please refer to the formal definition found in wikipedia <link to CFG article>
When I mentioned grammars, I was talking about formal grammars in general. Still, I made a bit of confusion, since formal grammars only define the rules, whereas formal languages are, in one of its definitions, sets over strings/words.
Not that this means much, since the point of grammars is to define languages. As such, grammars (RG/CFG/NG/UG) stipulate the words that a language accepts. Words are important to computers (both in mathematical theory and in material reality).
> I've not said anything about computers being strictly deterministic.
My bad, that was my misreading of "formalized".
> And everything is binary at the CPU/GPU level. Even with specialized instructions, you still need to organize them into a proper algorithm and encode it and its data to binary.
Poor phrasinf on my part, but the "needing binary to accomplish inference" was supposed to be read in isolation. Still, computers do not require binary to operate. There are non-digital computers, both in history and being explored today. There are experiments on using trinary for optimizing LLM inference, for instance.