徐建良
计算复杂性理论 计算机软件与理论 人工智能 计算机软件与理论
个性化签名
- 姓名:徐建良
- 目前身份:
- 担任导师情况:
- 学位:
-
学术头衔:
教育部“新世纪优秀人才支持计划”入选者, 博士生导师
- 职称:-
-
学科领域:
计算机科学技术
- 研究兴趣:计算复杂性理论 计算机软件与理论 人工智能 计算机软件与理论
徐建良,男,1969年8月出生,博士,中国海洋大学信息学院教授。
学习经历及学位:1987.9-1991.7 山东大学计算机系 学士;1991.9-1994.7 山东大学计算机系 硕士;1994.9-1998.3 日本山口大学智能信息处理系 博士。
工作经历任职及荣誉称号:1994.7-1994.9 潍坊华光计算机公司 工程师;1998.4-2001.8 日本NEC软件有限公司 高级软件工程师。
社会及学术兼职:中国计算机学会 高级会员。
主要研究方向:计算复杂性理论 计算机软件与理论 人工智能 计算机软件与理论。
-
主页访问
1198
-
关注数
0
-
成果阅读
29
-
成果数
1
徐建良, Jian-Liang Xu, Yun-Xia Liu, and Tsunehiro Yoshinaga
J. Comput. Sci. & Technol. Nov. 2006, vol. 21, No.6, pp. 979-983,-0001,():
-1年11月30日
1-inkodt alternationg pushdown automaton is a slightly mo-dified alternationg pushdown automaton iwht the additional power of marking at most 1 tape-oell on the input (with an inkodt) once. This paper investigates the closute property of sublgarithmic space-bounded 1-inkodt alternationg pushdown automata with only existential (universal) states, and shows, for example, that for any function L (n) such that L (n)≥log logn and L (n)=o (logn), the class of sets accepted by weakly (strongly) L (n) space-bounded 1-inkodot two-way alternating pushdown automata with only existential (universal) states not closed under concatnation with regular sets, length-preserving homomrphism, and kleene closure.
alternationg pushdown automata,, 1-inkodot,, sublogarithmic space,, closure property
-
29浏览
-
0点赞
-
0收藏
-
0分享
-
73下载
-
0评论
-
引用