I have defined a labeled transition system, and the function which accpets the list that system could reach. For convinence, I defined another funtion used for
codeworld
pyroot
amazon-polly
leak-sanitizer
kivmob
frustum
bookdown
pimpl-idiom
podfile-lock
dgml
mqttnet
warm-up
aws-emr-studio
excel-pivot
eclipse-3.6
http-auth
codea
ipatool
android-clipboardmanager
databricks-rest-api
concave-hull
logic-programming
gpib
news-ticker
boundaries
pepper
asset-management
dqn
twitter-bootstrap-wizard
maven-invoker-plugin