New computation model challenges traditional logic in computer science.
The article discusses two main parts. The first part talks about how in computer science, we usually use Turing machines to process information, but in some cases, it's hard to represent similar structures with strings. The researchers wonder if there's a way to use a different model that can handle this better. The second part introduces a new way to understand how computers work, called evolving algebras. This approach focuses on how computers change and use resources. The researchers show how this works using the programming language Pascal.