下推自动机可以形象的理解为，把有限状态自动机扩展使之可以存取一个栈，每一个下推自动机都接受一个形式语言，下推自动机存在确定与非确定两种形式，两者并不等价，对有限状态自动机两者是等价的，被非确定下推自动机接受的语言是上下文无关语言，编译出来的程序是由图灵完全的计算机执行的，编译器不是程序的执行者，parser更不是程序的执行者。
下拉刷新这种用户交互最早由twitter创始人洛伦?布里切特(Loren Brichter)发明，有理论认为，下拉刷新是一种适用于按照从新到旧的时间顺序排列feeds的应用，在这种应用场景中看完旧的内容时，用户会很自然地下拉查找更新的内容，因此下拉刷新就显得非常合理。
但在移动应用中，并不是每种设计都适合各种应用。
没有一种设计是万能的，例如Pinterest 的瀑布流固然吸引人，但并非所有网站都适合采用这一设计风格；Flipborad 的方格杂志设计固然便于新闻阅读，但这并不代表没有其他同样优秀的阅读版式；Clear 的手势操作固然酷劲十足，但许多应用简单的“+”添加按钮同样清晰而易用。
任何一种优秀的设计，都有其应用的限制范围，不加取舍的借鉴非但不会使一款应用更好用，反而可能是东施效颦，弄巧成拙。
保险杠其实是很轻的，如果受到强大的外力冲击，就有可能会被冲刷掉。
暴雨天，水流过急的时候，水的冲击力很大，会改变车牌的位置将车牌从保险杠上脱落。
因为只有两颗螺丝钉，车牌和保险杠之间有非常大的缝隙，车在水中行驶的时候，保险杠受到水的冲击车牌下面会被水的阻力冲击向上翻，当水的阻力达到一定的力度，车牌就会被挤掉。