{"action":"created","issue":{"url":"https://api.github.com/repos/jeffreykegler/kollos/issues/29","labels_url":"https://api.github.com/repos/jeffreykegler/kollos/issues/29/labels{/name}","comments_url":"https://api.github.com/repos/jeffreykegler/kollos/issues/29/comments","events_url":"https://api.github.com/repos/jeffreykegler/kollos/issues/29/events","html_url":"https://github.com/jeffreykegler/kollos/issues/29","id":66874718,"number":29,"title":"strand.md: s/notion/pseudo-code accessor/?","user":{"login":"rns","id":366934,"avatar_url":"https://avatars.githubusercontent.com/u/366934?v=3","gravatar_id":"","url":"https://api.github.com/users/rns","html_url":"https://github.com/rns","followers_url":"https://api.github.com/users/rns/followers","following_url":"https://api.github.com/users/rns/following{/other_user}","gists_url":"https://api.github.com/users/rns/gists{/gist_id}","starred_url":"https://api.github.com/users/rns/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rns/subscriptions","organizations_url":"https://api.github.com/users/rns/orgs","repos_url":"https://api.github.com/users/rns/repos","events_url":"https://api.github.com/users/rns/events{/privacy}","received_events_url":"https://api.github.com/users/rns/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-04-07T12:50:27Z","updated_at":"2015-04-07T16:51:05Z","closed_at":"2015-04-07T16:51:05Z","body":"rule notion -> `Rule` pseudo-code accessor\r\ndotted rule notion -> `DR` pseudo-code accessor\r\n\r\nseem to be a better fit for contexts like \r\n\r\n>A rule notion, when applied to a dotted rule, is equivalent to that rule notion applied to the rule of the dotted rule.\r\n\r\nand\r\n\r\n>A dotted rule notion, when applied to a Earley item, is equivalent to that dotted rule notion applied to the dotted rule of the Earley item.\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/jeffreykegler/kollos/issues/comments/90643222","html_url":"https://github.com/jeffreykegler/kollos/issues/29#issuecomment-90643222","issue_url":"https://api.github.com/repos/jeffreykegler/kollos/issues/29","id":90643222,"user":{"login":"jeffreykegler","id":173729,"avatar_url":"https://avatars.githubusercontent.com/u/173729?v=3","gravatar_id":"","url":"https://api.github.com/users/jeffreykegler","html_url":"https://github.com/jeffreykegler","followers_url":"https://api.github.com/users/jeffreykegler/followers","following_url":"https://api.github.com/users/jeffreykegler/following{/other_user}","gists_url":"https://api.github.com/users/jeffreykegler/gists{/gist_id}","starred_url":"https://api.github.com/users/jeffreykegler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jeffreykegler/subscriptions","organizations_url":"https://api.github.com/users/jeffreykegler/orgs","repos_url":"https://api.github.com/users/jeffreykegler/repos","events_url":"https://api.github.com/users/jeffreykegler/events{/privacy}","received_events_url":"https://api.github.com/users/jeffreykegler/received_events","type":"User","site_admin":false},"created_at":"2015-04-07T16:51:05Z","updated_at":"2015-04-07T16:51:05Z","body":"That \"notion\" term I've adopted from a recent math paper.  It means that if it's an \"idea\", or \"notion\" which only makes sense for rules, but my language applies it to an Earley item, then it really applies to the Earley item.  So we have \"start Earley items\", which are Earley items which contain start rules.\r\n\r\nIt's a little difficult, but replaces a lot of tedious & repetitive definitions.  Many papers simply apply terms more or less at will, and leave it to the reader to puzzle it out."}}