~lobsters | Bookmarks (32)

TL;DR: ssh client and a free virtual machine or access to a pubnix. Scroll down for CS on a steamdeck. Comments

This post provides a complete tour of the L* algorithm for inferring input grammars for blackbox programs. It includes the PAC learning approach rather than the assumption of a minimally adequate teacher able to compare hypothesis to the original grammar, and hence more suitable for inferring input grammars for programs. This is part of my ongoing effort to document various algorithms relating to grammars...