The visualiser lets you inspect λ-terms as certain kinds of graphs, while also keeping track of various interesting statistics. https://www.georgejkaye.com/fyp/visualiser.html …pic.twitter.com/xEhRTctR8M
U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više
The visualiser lets you inspect λ-terms as certain kinds of graphs, while also keeping track of various interesting statistics. https://www.georgejkaye.com/fyp/visualiser.html …pic.twitter.com/xEhRTctR8M
You can also use it to generate normalisation graphs (really these are graphs of graphs!). For example, this particularly beautiful normalisation graph is generated by a linear term representing the formula "T ∧ F" (based on an encoding of boolean circuits due to Harry Mairson).pic.twitter.com/hmn0e4gjG8
Finally, I definitely recommend spending a lazy afternoon strolling around the gallery! Here we've used it to display all linear λ-terms of size 8 with no beta-redices and with 2 crossings in their diagram. https://www.georgejkaye.com/fyp/gallery.html …pic.twitter.com/skP1AM3Fd2
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.